Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007

Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi, editors, Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007. Volume 07441 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008.

Conference: Dagstuhl2008

Editors

Rod Downey

This author has not been identified. Look up 'Rod Downey' in Google

Bakhadyr Khoussainov

This author has not been identified. Look up 'Bakhadyr Khoussainov' in Google

Dietrich Kuske

This author has not been identified. Look up 'Dietrich Kuske' in Google

Markus Lohrey

This author has not been identified. Look up 'Markus Lohrey' in Google

Moshe Y. Vardi

This author has not been identified. Look up 'Moshe Y. Vardi' in Google