scientific article; zbMATH DE number 1300969

zbMATH Open0925.68305MaRDI QIDQ4246727FDOQ4246727

Authors: Olav Lysne 

Publication date: 29 July 1999

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (5)

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