%0 Conference Paper %1 conf/lata/MeierSTV12 %A Meier, Arne %A Schmidt, Johannes %A Thomas, Michael %A Vollmer, Heribert %B LATA %D 2012 %E Dediu, Adrian-Horia %E Martín-Vide, Carlos %I Springer %K dblp %P 389-400 %T On the Parameterized Complexity of Default Logic and Autoepistemic Logic. %U http://dblp.uni-trier.de/db/conf/lata/lata2012.html#MeierSTV12 %V 7183 %@ 978-3-642-28331-4

@inproceedings{conf/lata/MeierSTV12, added-at = {2019-09-16T00:00:00.000+0200}, author = {Meier, Arne and Schmidt, Johannes and Thomas, Michael and Vollmer, Heribert}, biburl = {https://www.bibsonomy.org/bibtex/25fb9a3f97f687a1e2d3af9d3a937b74d/dblp}, booktitle = {LATA}, crossref = {conf/lata/2012}, editor = {Dediu, Adrian-Horia and Martín-Vide, Carlos}, ee = {https://www.wikidata.org/entity/Q57998309}, interhash = {5ba4db07b89f8611844d073c0b37b9b7}, intrahash = {5fb9a3f97f687a1e2d3af9d3a937b74d}, isbn = {978-3-642-28331-4}, keywords = {dblp}, pages = {389-400}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:00:12.000+0200}, title = {On the Parameterized Complexity of Default Logic and Autoepistemic Logic.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2012.html#MeierSTV12}, volume = 7183, year = 2012 }