Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi. 05241 Abstracts Collection - Synthesis and Planning. In Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi, editors, Synthesis and Planning, 12.-17. June 2005. Volume 05241 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]
@inproceedings{KautzTV05a,
title = {05241 Abstracts Collection - Synthesis and Planning},
author = {Henry A. Kautz and Wolfgang Thomas and Moshe Y. Vardi},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/453},
researchr = {https://researchr.org/publication/KautzTV05a},
cites = {0},
citedby = {0},
booktitle = {Synthesis and Planning, 12.-17. June 2005},
editor = {Henry A. Kautz and Wolfgang Thomas and Moshe Y. Vardi},
volume = {05241},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
}