pdfformat: 

@InProceedings{downey_et_al:DSP:2008:1411, author = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi}, title = {07441 Summary  AlgorithmicLogical Theory of Infinite Structures}, booktitle = {AlgorithmicLogical 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 = {18624405}, publisher = {Internationales Begegnungs und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1411}, 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  AlgorithmicLogical Theory of Infinite Structures  
Issue date:  2008  
Date of publication:  09.04.2008 