License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.7.9.1
URN: urn:nbn:de:0030-drops-85863
URL: http://drops.dagstuhl.de/opus/volltexte/2018/8586/
Go back to Dagstuhl Reports


Dawar, Anuj ; Grädel, Erich ; Kolaitis, Phokion G. ; Schwentick, Thomas
Weitere Beteiligte (Hrsg. etc.): Anuj Dawar abd Erich Grädel and Phokion G. Kolaitis and Thomas Schwentick

Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)

pdf-format:
dagrep_v007_i009_p001_17361.pdf (3 MB)


Abstract

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

BibTeX - Entry

@Article{dawar_et_al:DR:2018:8586,
  author =	{Anuj Dawar and Erich Gr{\"a}del and Phokion G. Kolaitis and Thomas Schwentick},
  title =	{{Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)}},
  pages =	{1--25},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{9},
  editor =	{Anuj Dawar abd Erich Gr{\"a}del and Phokion G. Kolaitis and Thomas Schwentick},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/8586},
  URN =		{urn:nbn:de:0030-drops-85863},
  doi =		{10.4230/DagRep.7.9.1},
  annote =	{Keywords: algorithms, database theory, descriptive complexity, finite model theory, independence logic, knowledge representation, model checking}
}

Keywords: algorithms, database theory, descriptive complexity, finite model theory, independence logic, knowledge representation, model checking
Seminar: Dagstuhl Reports, Volume 7, Issue 9
Issue Date: 2018
Date of publication: 07.03.2018


DROPS-Home | Fulltext Search | Imprint Published by LZI