The following pages link to FORT 2.0 (Q1799069):
Displaying 4 items.
- FORT (Q40351) (← links)
- Certifying proofs in the first-order theory of rewriting (Q2233502) (← 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)