Deciding equivalence of finite tree automata (Q5096180)

From MaRDI portal
scientific article; zbMATH DE number 7571952
Language Label Description Also known as
English
Deciding equivalence of finite tree automata
scientific article; zbMATH DE number 7571952

    Statements

    Identifiers