Pages that link to "Item:Q5369498"
From MaRDI portal
The following pages link to Ground Confluence Prover based on Rewriting Induction (Q5369498):
Displaying 3 items.
- On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs (Q2163179) (← links)
- Improving rewriting induction approach for proving ground confluence (Q5111302) (← links)
- First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588) (← links)