MINIMAL RECOGNIZERS AND SYNTACTIC MONOIDS OF DR TREE LANGUAGES
From MaRDI portal
Publication:5053730
DOI10.1142/9789812810908_0012zbMath1499.68177OpenAlexW75055258MaRDI QIDQ5053730
Publication date: 6 December 2022
Published in: Words, Semigroups, and Transductions (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/9789812810908_0012
Related Items (5)
Algorithmic introduction of quantified cuts ⋮ Multiple context-free tree grammars: lexicalization and characterization ⋮ Composition closure of linear extended top-down tree transducers ⋮ Inductive theorem proving based on tree grammars ⋮ A link between multioperator and tree valuation automata and logics
This page was built for publication: MINIMAL RECOGNIZERS AND SYNTACTIC MONOIDS OF DR TREE LANGUAGES