Automatic Proof Generation in Kleene Algebra

DOI10.1007/978-3-540-78913-0_28zbMath1140.68042OpenAlexW1566154337MaRDI QIDQ3498428

James Worthington

Publication date: 15 May 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.6489

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Mechanization of proofs and logical operations (03B35)

Related Items (3)

A bialgebraic approach to automata and formal language theory ⋮ A Bialgebraic Approach to Automata and Formal Language Theory ⋮ Deciding Kleene algebra terms equivalence in Coq

Cites Work

• A completeness theorem for Kleene algebras and the algebra of regular events
• On Hoare logic and Kleene algebra with tests
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatic Proof Generation in Kleene Algebra