Advice Automatic Structures and Uniformly Automatic Classes

Aug 20, 2017·
Faried Abu Zaid
,
Erich Grädel
,
Frederic Reinhardt
· 0 min read
Abstract
This work investigates advice automatic structures and uniformly automatic classes, providing new results and characterizations in the field of logic and computer science.
Type
Publication
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden
Automatic Structures Logic