Go to the corresponding LIPIcs Volume Portal 
Bodirsky, Manuel ; Wrona, Michal
pdfformat: 

@InProceedings{bodirsky_et_al:LIPIcs:2012:3668, author = {Manuel Bodirsky and Michal Wrona}, title = {{Equivalence Constraint Satisfaction Problems}}, booktitle = {Computer Science Logic (CSL'12)  26th International Workshop/21st Annual Conference of the EACSL}, pages = {122136}, 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/3668}, URN = {urn:nbn:de:0030drops36689}, doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2012.122}, annote = {Keywords: Constraint satisfaction problems, universal algebra, model theory, Ram sey theory, temporal reasoning, computational complexity} }
Keywords:  Constraint satisfaction problems, universal algebra, model theory, Ram sey theory, temporal reasoning, computational complexity  
Seminar:  Computer Science Logic (CSL'12)  26th International Workshop/21st Annual Conference of the EACSL  
Issue Date:  2012  
Date of publication:  27.08.2012 