RISC

JKU

RISC Publications & Reports		RISC Report Series		Search		Gröbner Bases Bibliography
Publications of 'Tudor Jebelean'		Technical Reports of 'Tudor Jebelean'		Talks of 'Tudor Jebelean'

RISC Publications and Technical Reports of Tudor Jebelean

2024

I. Dramnesc, T. Jebelean, S. Stratulat. Certification of Tail Recursive Bubble-Sort in Theorema and Coq. In: LPAR 2024 Complementary Volume, N. Bjørner, M. Heule, A. Voronkov (ed.), Kalpa Publications in Computing 18, pp. 53-68. 2024. EasyChair, ISSN 2515-1762. [url] [bib]
T. Jebelean. A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation. In: LPAR 2024 Complementary Volume, N. Bjørner, M. Heule, A. Voronkov (ed.), Kalpa Publications in Computing 18, pp. 107-116. 2024. EasyChair, ISSN 2515-1762. [url] [bib]
I. Dramnesc, T. Jebelean, S. Stratulat. Certification of Sorting Algorithms Using Theorema and Coq. In: SCSS 2024, Symbolic Computation in Software Science , S. M. Watt, T. Ida (ed.), Lecture Notes in Artificial Intelligence 14991, pp. 38-56. 2024. Springer, ISBN 978-3-031-69041-9. [bib]

All Years >>