Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)

Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick, Marc Herbstritt
2018 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 17361 "Finite and Algorithmic Model Theory".
doi:10.4230/dagrep.7.9.1 dblp:journals/dagstuhl-reports/DawarGKS17 fatcat:teyilwvdgrd6tch2gdb4d4dd5m