pdfformat: 

@InProceedings{diekert_et_al:LIPIcs:2009:1818, author = {Volker Diekert and Manfred Kufleitner}, title = {{Fragments of FirstOrder Logic over Infinite Words}}, booktitle = {26th International Symposium on Theoretical Aspects of Computer Science}, pages = {325336}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897095}, ISSN = {18688969}, year = {2009}, volume = {3}, editor = {Susanne Albers and JeanYves Marion}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2009/1818}, URN = {urn:nbn:de:0030drops18185}, doi = {http://dx.doi.org/10.4230/LIPIcs.STACS.2009.1818}, annote = {Keywords: Infinite words, Regular languages, Firstorder logic, Automata theory, Semigroups, Topology} }
Keywords:  Infinite words, Regular languages, Firstorder logic, Automata theory, Semigroups, Topology  
Seminar:  26th International Symposium on Theoretical Aspects of Computer Science  
Issue date:  2009  
Date of publication:  2009 