The following pages link to (Q5369502):
Displaying 8 items.
- FORT 2.0 (Q1799069) (← links)
- Certifying proofs in the first-order theory of rewriting (Q2233502) (← links)
- Proving semantic properties as first-order satisfiability (Q2289018) (← links)
- (Q4506400) (← links)
- (Q4553285) (← links)
- Improving rewriting induction approach for proving ground confluence (Q5111302) (← links)
- Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting (Q5164173) (← links)
- First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588) (← links)