Advice Automatic Structures and Uniformly Automatic Classes

(2017) [Contribution to a conference proceedings]

[26th EACSL Annual Conference on Computer Science Logic, CSL 2017, 2017-08-20 - 2017-08-24, Stockholm, Sweden]

Authors

Selected Authors

Abu Zaid, Faried
Grädel, Erich
Reinhardt, Frédéric

Identifier