Go to the corresponding LIPIcs Volume Portal 
Kufleitner, Manfred ; Weil, Pascal
pdfformat: 

@InProceedings{kufleitner_et_al:LIPIcs:2012:3688, author = {Manfred Kufleitner and Pascal Weil}, title = {{The FO2 alternation hierarchy is decidable}}, booktitle = {Computer Science Logic (CSL'12)  26th International Workshop/21st Annual Conference of the EACSL}, pages = {426439}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897422}, ISSN = {18688969}, year = {2012}, volume = {16}, editor = {Patrick C{\'e}gielski and Arnaud Durand}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3688}, URN = {urn:nbn:de:0030drops36888}, doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2012.426}, annote = {Keywords: firstorder logic, regular language, automata theory, semigroup, ranker} }
Keywords:  firstorder logic, regular language, automata theory, semigroup, ranker  
Seminar:  Computer Science Logic (CSL'12)  26th International Workshop/21st Annual Conference of the EACSL  
Issue Date:  2012  
Date of publication:  27.08.2012 