Extending Bachmair's method for proof by consistency to the final algebra
From MaRDI portal
(Redirected from Publication:1336767)
Recommendations
Cites work
- scientific article; zbMATH DE number 3945335 (Why is no real title available?)
- scientific article; zbMATH DE number 3956434 (Why is no real title available?)
- scientific article; zbMATH DE number 3723898 (Why is no real title available?)
- scientific article; zbMATH DE number 1300969 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- A Larch shared language handbook
- Observational implementations
- On sufficient-completeness and related properties of term rewriting systems
- Resolution of equations in algebraic structures. Volume II: Rewriting techniques
Cited in
(3)
This page was built for publication: Extending Bachmair's method for proof by consistency to the final algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1336767)