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]

Authors

Anuj Dawar

This author has not been identified. Look up 'Anuj Dawar' in Google

Erich Grädel

This author has not been identified. Look up 'Erich Grädel' in Google

Phokion G. Kolaitis

This author has not been identified. Look up 'Phokion G. Kolaitis' in Google

Thomas Schwentick

This author has not been identified. It may be one of the following persons: Look up 'Thomas Schwentick' in Google