First-order definable languages (2008)

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