Ştefan Ciobâcă

1. A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems
   2018/04/23 by Ştefan Ciobâcă, Ciobâcă, Ştefan, Dorel Lucanu +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
2. Operationally-based Program Equivalence Proofs using LCTRSs
   2020/01/27 by Ştefan Ciobâcă, Ciobâcă, Ştefan, Dorel Lucanu +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL