Order:
  1.  36
    Automata Presenting Structures: A Survey of the Finite String Case.Sasha Rubin - 2008 - Bulletin of Symbolic Logic 14 (2):169-209.
    A structure has a (finite-string) automatic presentation if the elements of its domain can be named by finite strings in such a way that the coded domain and the coded atomic operations are recognised by synchronous multitape automata. Consequently, every structure with an automatic presentation has a decidable first-order theory. The problems surveyed here include the classification of classes of structures with automatic presentations, the complexity of the isomorphism problem, and the relationship between definability and recognisability.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  4
    Survey of Automatic Structures.Sasha Rubin, Werner DePauli-Schimanovich, T. U. Wien & Kurt Gödel-Ein Mathematischer Mythos - 2008 - Bulletin of Symbolic Logic 14 (2):169-200.
    A structure has a automatic presentationif the elements of its domain can be named by finite strings in such a way that the coded domain and the coded atomic operations are recognised by synchronous multitape automata. Consequently, every structure with an automatic presentation has a decidable first-order theory. The problems surveyed here include the classification of classes of structures with automatic presentations, the complexity of the isomorphism problem, and the relationship between definability and recognisability.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  3
    Verification of Agent Navigation in Partially-Known Environments.Benjamin Aminof, Aniello Murano, Sasha Rubin & Florian Zuleger - 2022 - Artificial Intelligence 308:103724.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  2
    Verification of Multi-Agent Systems with Public Actions Against Strategy Logic.Francesco Belardinelli, Alessio Lomuscio, Aniello Murano & Sasha Rubin - 2020 - Artificial Intelligence 285:103302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark