Go to the corresponding LIPIcs Volume Portal 
Lagerkvist, Victor ; Nordh, Gustav
pdfformat: 

@InProceedings{lagerkvist_et_al:LIPIcs:2019:10980, author = {Victor Lagerkvist and Gustav Nordh}, title = {{On the Strength of Uniqueness Quantification in Primitive Positive Formulas}}, booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)}, pages = {36:136:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771177}, ISSN = {18688969}, year = {2019}, volume = {138}, editor = {Peter Rossmanith and Pinar Heggernes and JoostPieter Katoen}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10980}, URN = {urn:nbn:de:0030drops109808}, doi = {10.4230/LIPIcs.MFCS.2019.36}, annote = {Keywords: Primitive positive definitions, clone theory, constraint satisfaction problems} }
Keywords:  Primitive positive definitions, clone theory, constraint satisfaction problems  
Collection:  44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)  
Issue Date:  2019  
Date of publication:  20.08.2019 