Two-way cost automata and cost logics over infinite trees (Q4635599)

From MaRDI portal
scientific article; zbMATH DE number 6863074
Language Label Description Also known as
English
Two-way cost automata and cost logics over infinite trees
scientific article; zbMATH DE number 6863074

    Statements