The following pages link to (Q3716284):
Displayed 4 items.
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness (Q582891) (← links)
- Extending Bachmair's method for proof by consistency to the final algebra (Q1336767) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- Automatic proofs by induction in theories without constructors (Q1824382) (← links)