> Details

Downey, Rod [Author]; Khoussainov, Bakhadyr [Author]; Kuske, Dietrich [Author]; Lohrey, Markus [Author]; Vardi, Moshe Y. [Author] ; Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi [Contributor]

07441 Summary – Algorithmic-Logical Theory of Infinite Structures

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Article; Electronic Conference Proceeding; Text
  • Title: 07441 Summary – Algorithmic-Logical Theory of Infinite Structures
  • Contributor: Downey, Rod [Author]; Khoussainov, Bakhadyr [Author]; Kuske, Dietrich [Author]; Lohrey, Markus [Author]; Vardi, Moshe Y. [Author]
  • imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
  • Language: English
  • DOI: https://doi.org/10.4230/DagSemProc.07441.2
  • Keywords: computable model theory and automatic structures ; Theories of infinite structures ; model checking infinite systems
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access