First-order definable languages (2008)

by Volker Diekert , Paul Gastin
Venue:Logic and Automata: History and Perspectives, Texts in Logic and Games
Citations:10 - 3 self