Andrei-Sebastian Buruiana

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 3

Top Topics

Logical Language

Computer Programs

Intended Meaning

Theorem Proving

Top Venues

J. Log. Algebraic Methods Program.

Publications

Stefan Ciobaca, Dorel Lucanu, Andrei-Sebastian Buruiana
Operationally-based program equivalence proofs using LCTRSs. J. Log. Algebraic Methods Program. 135 (2023)
Stefan Ciobaca, Dorel Lucanu, Andrei-Sebastian Buruiana
Operationally-based Program Equivalence Proofs using LCTRSs. CoRR (2020)
Andrei-Sebastian Buruiana, Stefan Ciobaca
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics. WPTE@FSCD (2018)