Automated Analysis of Regular Algebra

DOI10.1007/978-3-642-31365-3_22zbMath1358.68254OpenAlexW2285300301MaRDI QIDQ2908498

Georg Struth, Simon Foster

Publication date: 5 September 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_22

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items

Semi-intelligible Isar proofs from machine-generated proofs ⋮ Automated Reasoning in Higher-Order Regular Algebra ⋮ Left omega algebras and regular equations ⋮ Proving language inclusion and equivalence by coinduction

Uses Software

• Isabelle
• Isabelle/HOL
• HOL