Back to Search Start Over

Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)

Authors :
Anuj Dawar and Erich Grädel and Phokion G. Kolaitis and Thomas Schwentick
Dawar, Anuj
Grädel, Erich
Kolaitis, Phokion G.
Schwentick, Thomas
Anuj Dawar and Erich Grädel and Phokion G. Kolaitis and Thomas Schwentick
Dawar, Anuj
Grädel, Erich
Kolaitis, Phokion G.
Schwentick, Thomas
Publication Year :
2018

Abstract

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

Details

Database :
OAIster
Notes :
application/pdf, English
Publication Type :
Electronic Resource
Accession number :
edsoai.on1358723866
Document Type :
Electronic Resource
Full Text :
https://doi.org/10.4230.DagRep.7.9.1
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details