Collapsible Pushdown Graphs of Level 2 are Tree-Automatic (Q4913775)

From MaRDI portal
scientific article; zbMATH DE number 6152242
Language Label Description Also known as
English
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
scientific article; zbMATH DE number 6152242

    Statements

    Collapsible Pushdown Graphs of Level 2 are Tree-Automatic (English)
    0 references
    0 references
    9 April 2013
    0 references
    tree-automatic structures
    0 references
    collapsible pushdown graphs
    0 references
    collapsible pushdown systems
    0 references
    first-order logic
    0 references
    decidability
    0 references
    reachability
    0 references

    Identifiers