Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)

Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick. Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361). Dagstuhl Reports, 7(9):1-25, 2017. [doi]

Abstract

Abstract is missing.