Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DagRep.12.1.101
URN: urn:nbn:de:0030-drops-169232
URL: https://drops.dagstuhl.de/opus/volltexte/2022/16923/
Atserias, Albert ; Berkholz, Christoph ; Etessami, Kousha ; Ochremiak, Joanna
Weitere Beteiligte (Hrsg. etc.): Albert Atserias and Christoph Berkholz and Kousha Etessami and Joanna Ochremiak
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051)
| pdf-format: |
|
Abstract
Finite and algorithmic model theory (FAMT) studies the expressive power of logical languages on finite structures or, more generally, structures that can be finitely presented. These are the structures that serve as input to computation, and for this reason the study of FAMT is intimately connected with computer science. Over the last four decades, the subject has developed through a close interaction between theoretical computer science and related areas of mathematics, including logic and combinatorics. This report documents the program and the outcomes of Dagstuhl Seminar 22051 "Finite and Algorithmic Model Theory".
BibTeX - Entry
@Article{atserias_et_al:DagRep.12.1.101,
author = {Atserias, Albert and Berkholz, Christoph and Etessami, Kousha and Ochremiak, Joanna},
title = {{Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051)}},
pages = {101--118},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2022},
volume = {12},
number = {1},
editor = {Atserias, Albert and Berkholz, Christoph and Etessami, Kousha and Ochremiak, Joanna},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16923},
URN = {urn:nbn:de:0030-drops-169232},
doi = {10.4230/DagRep.12.1.101},
annote = {Keywords: automata and game theory, database theory, descriptive complexity, finite model theory, homomorphism counts, Query enumeration}
}
| Keywords: | automata and game theory, database theory, descriptive complexity, finite model theory, homomorphism counts, Query enumeration | |
| Seminar: | DagRep, Volume 12, Issue 1 | |
| Issue date: | 2022 | |
| Date of publication: | 23.08.2022 |
