Advice Automatic Structures and Uniformly Automatic Classes

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

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2017)
Contribution to a book, Contribution to a conference proceedings

In: Computer Science Logic 2017 : CSL 2017, August 20-24, 2017, Stockholm, Sweden / edited by Valentin Goranko, Mads Dam ; European Association for Computer Science Logic (EACSL).
Page(s)/Article-Nr.: [1]-20