Formalizing the Logic-Automaton Connection

MaRDI QIDQ7361774swMATHFDO

Authors Stefan Berghofer, Markus Reiter

Publication date 3 December 2009

Cites work

• Diophantine equations, Presburger arithmetic and finite automata
• Formalizing the Logic-Automaton Connection
• Unnamed Publication

Described by source

• Formalizing the Logic-Automaton Connection

This page was built for software: Formalizing the Logic-Automaton Connection