Formalizing the Logic-Automaton Connection

by Stefan Berghofer , Markus Reiter , Technische Universität München
Citations:8 - 1 self