Advice Automatic Structures and Uniformly Automatic Classes

Abu Zaid, Faried (Corresponding author); Grädel, Erich (Corresponding author); Reinhardt, Frédéric (Corresponding author)

(2017) [Beitrag zu einem Tagungsband]

[26th EACSL Annual Conference on Computer Science Logic, CSL 2017, 2017-08-20 - 2017-08-24, Stockholm, Sweden]
Seite(n): [1]-20

Identifikationsnummern

Downloads