Andrei-Sebastian Buruiana

According to our database, Andrei-Sebastian Buruiana authored at least 2 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Operationally-based program equivalence proofs using LCTRSs.

Stefan Ciobaca, Dorel Lucanu, Andrei-Sebastian Buruiana

J. Log. Algebraic Methods Program., October, 2023

2018

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics.

Andrei-Sebastian Buruiana, Stefan Ciobaca

Proceedings of the Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2018