Macro Tree Translations of Linear Size Increase are MSO Definable (Q4429669)

From MaRDI portal
scientific article; zbMATH DE number 1986338
Language Label Description Also known as
English
Macro Tree Translations of Linear Size Increase are MSO Definable
scientific article; zbMATH DE number 1986338

    Statements

    Macro Tree Translations of Linear Size Increase are MSO Definable (English)
    0 references
    0 references
    0 references
    28 September 2003
    0 references
    tree transducers
    0 references
    monadic second-order logic
    0 references
    decidability
    0 references

    Identifiers