Login / Signup
Operationally-based program equivalence proofs using LCTRSs.
Stefan Ciobaca
Dorel Lucanu
Andrei-Sebastian Buruiana
Published in:
J. Log. Algebraic Methods Program. (2023)
Keyphrases
</>
computer programs
test cases
theorem proving
machine learning
special case