Advice Automatic Structures and Uniformly Automatic Classes

(2017) [Beitrag zu einem Tagungsband]

In 26th EACSL Annual Conference on Computer Science Logic

Authors

Selected Authors

Abu Zaid, Faried
Grädel, Erich
Reinhardt, Frederic

Identifier

  • REPORT NUMBER: RWTH-2017-06840