5 citations · 17 across the 11 of their papers we have counts for
1 paper · 2 filters
Ştefan Ciobâcă, Dorel Lucanu
We introduce a sound and complete coinductive proof system for reachability properties in transition systems generated by logically constrained term rewriting rules over an order-s…