scientific article; zbMATH DE number 1300969

zbMATH Open0925.68305MaRDI QIDQ4246727FDOQ4246727

Authors Olav Lysne

Publication date 29 July 1999

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited in

(5)

• Extending Bachmair's method for proof by consistency to the final algebra
• Proving ground confluence and inductive validity in constructor based equational specifications
• The equational part of proofs by structural induction
• On the connection between narrowing and proof by consistency
• Higher-order proof by consistency

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246727)