%0 Conference Paper %1 conf/dagstuhl/DowneyKKLV07 %A Downey, Rod %A Khoussainov, Bakhadyr %A Kuske, Dietrich %A Lohrey, Markus %A Vardi, Moshe Y. %B Algorithmic-Logical Theory of Infinite Structures %D 2007 %E Downey, Rod %E Khoussainov, Bakhadyr %E Kuske, Dietrich %E Lohrey, Markus %E Vardi, Moshe Y. %I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany %K %T 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P7441.html#DowneyKKLV07 %V 07441

@inproceedings{conf/dagstuhl/DowneyKKLV07, added-at = {2023-12-13T02:24:55.000+0100}, author = {Downey, Rod and Khoussainov, Bakhadyr and Kuske, Dietrich and Lohrey, Markus and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2057cbbc34cdb81bf066e7de6cc3ea04e/admin}, booktitle = {Algorithmic-Logical Theory of Infinite Structures}, crossref = {conf/dagstuhl/2007P7441}, editor = {Downey, Rod and Khoussainov, Bakhadyr and Kuske, Dietrich and Lohrey, Markus and Vardi, Moshe Y.}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1411}, interhash = {7ee9512d20dcd4d6c5a57cda0100ec59}, intrahash = {057cbbc34cdb81bf066e7de6cc3ea04e}, keywords = {}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2023-12-13T02:24:55.000+0100}, title = {07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7441.html#DowneyKKLV07}, volume = 07441, year = 2007 }