Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)

Dawar, Anuj; Grädel, Erich; Kolaitis, Phokion G.; Schwentick, Thomas

doi:10.4230/DagRep.7.9.1

Document

Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)

Authors Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 7, Issue 9
Part of: Volume: Dagstuhl Reports, Volume 7
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2018-03-07

PDF

File

DagRep.7.9.1.pdf

Filesize: 2.56 MB
25 pages

Document Identifiers

DOI: 10.4230/DagRep.7.9.1
URN: urn:nbn:de:0030-drops-85863

Author Details

Anuj Dawar

Erich Grädel

Phokion G. Kolaitis

Thomas Schwentick

and all authors of the abstracts in this report

Cite AsGet BibTex

Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, and Thomas Schwentick. Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361). In Dagstuhl Reports, Volume 7, Issue 9, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/DagRep.7.9.1

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 17361 "Finite and Algorithmic Model Theory".

Keywords

algorithms
database theory
descriptive complexity
finite model theory
independence logic
knowledge representation
model checking

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail