scientific article; zbMATH DE number 1300969

zbMath0925.68305MaRDI QIDQ4246727

Olav Lysne

Publication date: 29 July 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

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