pdf-format: |
|
@InProceedings{downey_et_al:DSP:2008:1412, author = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi}, title = {07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures}, booktitle = {Algorithmic-Logical Theory of Infinite Structures}, year = {2008}, editor = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi}, number = {07441}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1412}, annote = {Keywords: Theories of infinite structures , computable model theory and automatic structures , model checking infinite systems} }
Keywords: | Theories of infinite structures , computable model theory and automatic structures , model checking infinite systems | |
Seminar: | 07441 - Algorithmic-Logical Theory of Infinite Structures | |
Issue date: | 2008 | |
Date of publication: | 2008 |