License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07441.2
URN: urn:nbn:de:0030-drops-14111
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1411/
Go to the corresponding Portal

Downey, Rod ; Khoussainov, Bakhadyr ; Kuske, Dietrich ; Lohrey, Markus ; Vardi, Moshe Y.

07441 Summary -- Algorithmic-Logical Theory of Infinite Structures

pdf-format:
07441.summary.1411.pdf (0.05 MB)

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:DagSemProc.07441.2,
  author =	{Downey, Rod and Khoussainov, Bakhadyr and Kuske, Dietrich and Lohrey, Markus and Vardi, Moshe Y.},
  title =	{{07441 Summary – Algorithmic-Logical Theory of Infinite Structures}},
  booktitle =	{Algorithmic-Logical Theory of Infinite Structures},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7441},
  editor =	{Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2008/1411},
  URN =		{urn:nbn:de:0030-drops-14111},
  doi =		{10.4230/DagSemProc.07441.2},
  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
Collection: 07441 - Algorithmic-Logical Theory of Infinite Structures
Issue Date: 2008
Date of publication: 09.04.2008

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI