%0 Conference Paper %1 conf/lics/BodirskyMM18 %A Bodirsky, Manuel %A Madelaine, Florent R. %A Mottet, Antoine %B LICS %D 2018 %E Dawar, Anuj %E Grädel, Erich %I ACM %K dblp %P 105-114 %T A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP. %U http://dblp.uni-trier.de/db/conf/lics/lics2018.html#BodirskyMM18

@inproceedings{conf/lics/BodirskyMM18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bodirsky, Manuel and Madelaine, Florent R. and Mottet, Antoine}, biburl = {https://www.bibsonomy.org/bibtex/229a9df53e163a246fa39de6d0cb9669d/dblp}, booktitle = {LICS}, crossref = {conf/lics/2018}, editor = {Dawar, Anuj and Grädel, Erich}, ee = {https://doi.org/10.1145/3209108.3209156}, interhash = {debfa69bb7e6e54faa7f6a4f9537793b}, intrahash = {29a9df53e163a246fa39de6d0cb9669d}, keywords = {dblp}, pages = {105-114}, publisher = {ACM}, timestamp = {2024-04-10T20:03:46.000+0200}, title = {A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2018.html#BodirskyMM18}, year = 2018 }