First-order definable languages

Volker Diekert, Paul Gastin. First-order definable languages. In Jörg Flum, Erich Grädel, Thomas Wilke, editors, Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. Volume 2 of Texts in Logic and Games, pages 261-306, Amsterdam University Press, 2008.

Abstract

Abstract is missing.