License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-14111
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1411/
Downey, Rod ; Khoussainov, Bakhadyr ; Kuske, Dietrich ; Lohrey, Markus ; Vardi, Moshe Y.

07441 Summary -- Algorithmic-Logical Theory of Infinite Structures

pdf-format:
Dokument 1.pdf (48 KB)

Abstract

One of the important research fields of theoretical and applied computer science and mathematics is the study of algorithmic, logical and model theoretic properties of structures and their interactions. By a structure we mean typical objects that arise in computer science and mathematics such as data structures, programs, transition systems, graphs, large databases, XML documents, algebraic systems including groups, integers, fields, Boolean algebras and so on.

BibTeX - Entry

@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 -- 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/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 - Algorithmic-Logical Theory of Infinite Structures
Issue date: 2008
Date of publication: 09.04.2008

DROPS-Home | Fulltext Search | Imprint Published by LZI