Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Dawar, Anuj; Grädel, Erich; Kolaitis, Phokion G.; Schwentick, Thomas http://www.dagstuhl.de/dagrep License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-85863
URL:

; ; ;
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:


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: 2018


DROPS-Home | Fulltext Search | Imprint Published by LZI