Coloring terms to control equational reasoning

DOI10.1023/A:1005772217686zbMath0881.68108OpenAlexW1601255741MaRDI QIDQ1367077

Dieter Hutter

Publication date: 17 September 1997

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005772217686

zbMATH Keywords

inductive theorem proving

Mathematics Subject Classification ID

Related Items (5)

Formal software development in the Verification Support Environment (VSE) ⋮ A case study in the mechanical verification of fault tolerance ⋮ Proving theorems by reuse ⋮ INKA: The next generation ⋮ A Pragmatic Approach to Reuse in Tactical Theorem Proving

This page was built for publication: Coloring terms to control equational reasoning