Advice Automatic Structures and Uniformly Automatic Classes
Abu Zaid, Faried (Corresponding author); Grädel, Erich (Corresponding author); Reinhardt, Frédéric (Corresponding author)
(2017) [Contribution to a conference proceedings]
[26th EACSL Annual Conference on Computer Science Logic, CSL 2017, 2017-08-20 - 2017-08-24, Stockholm, Sweden]
Page(s): [1]-20
Identifier
- DOI: 10.4230/LIPIcs.CSL.2017.35
- REPORT NUMBER: RWTH-2017-06840