Andrei-Sebastian Buruiană | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ştefan Ciobâcă
10 publications
Dorel Lucanu
6 publications

research

∙ 01/27/2020

Operationally-based Program Equivalence Proofs using LCTRSs

We propose an operationally-based deductive proof method for program equ...

0 Ştefan Ciobâcă, et al. ∙

research

∙ 02/22/2019

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

We give a language-parametric solution to the problem of total correctne...

0 Andrei-Sebastian Buruiană, et al. ∙