Go to the corresponding LIPIcs Volume Portal 
Kuske, Dietrich ; Schweikardt, Nicole
pdfformat: 

@InProceedings{kuske_et_al:LIPIcs:2018:9137, author = {Dietrich Kuske and Nicole Schweikardt}, title = {{Gaifman Normal Forms for Counting Extensions of FirstOrder Logic}}, booktitle = {45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)}, pages = {133:1133:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770767}, ISSN = {18688969}, year = {2018}, volume = {107}, editor = {Ioannis Chatzigiannakis and Christos Kaklamanis and D{\'a}niel Marx and Donald Sannella}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9137}, URN = {urn:nbn:de:0030drops91375}, doi = {10.4230/LIPIcs.ICALP.2018.133}, annote = {Keywords: Finite model theory, Gaifman locality, modulocounting quantifiers, fixed parameter tractable modelchecking} }
Keywords:  Finite model theory, Gaifman locality, modulocounting quantifiers, fixed parameter tractable modelchecking  
Collection:  45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)  
Issue Date:  2018  
Date of publication:  04.07.2018 