07441 Summary – Algorithmic-Logical Theory of Infinite Structures
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.
Theories of infinite structures
computable model theory and automatic structures
model checking infinite systems
1-2
Regular Paper
Rod
Downey
Rod Downey
Bakhadyr
Khoussainov
Bakhadyr Khoussainov
Dietrich
Kuske
Dietrich Kuske
Markus
Lohrey
Markus Lohrey
Moshe Y.
Vardi
Moshe Y. Vardi
10.4230/DagSemProc.07441.2
Creative Commons Attribution 4.0 International license
https://creativecommons.org/licenses/by/4.0/legalcode