The equational part of proofs by structural induction

DOI10.1007/BF01990537zbMath0797.68107MaRDI QIDQ1317862

Olav Lysne

Publication date: 22 March 1994

Published in: BIT (Search for Journal in Brave)

zbMATH Keywords

automated verificationabstract data typesinitial algebrastructural induction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Cites Work

• Proofs by induction in equational theories with constructors
• Automatic proofs by induction in theories without constructors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The equational part of proofs by structural induction