Extending Bachmair's method for proof by consistency to the final algebra

DOI10.1016/0020-0190(94)00109-XzbMath0822.68101OpenAlexW2066687655MaRDI QIDQ1336767

Olav Lysne

Publication date: 18 October 1995

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)00109-x

zbMATH Keywords

abstract data typesBachmair's method

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

Related Items (1)

Observational proofs by rewriting.

Cites Work

• A Larch shared language handbook
• On sufficient-completeness and related properties of term rewriting systems
• Observational implementations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Extending Bachmair's method for proof by consistency to the final algebra