Formalizing the Logic-Automaton Connection (0)

by S BERGHOFER, M REITER
Venue:In Proc. of the 22nd International Conference on Theorem Proving in Higher Order Logics. LNCS