scientific article; zbMATH DE number 512856

zbMath0797.68115MaRDI QIDQ4281553

Rémi Gilleron, Sophie Tison, Marc Tommasi

Publication date: 7 April 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tree automataset constraintstree languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (15)

More problems in rewriting ⋮ Problems in rewriting III ⋮ Algebraic properties of complete residuated lattice valued tree automata ⋮ Some new decidability results on positive and negative set constraints ⋮ Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini ⋮ Rational spaces and set constraints ⋮ On characterization of fuzzy tree pushdown automata ⋮ Unification modulo ACUI plus distributivity axioms ⋮ Set constraints with intersection ⋮ Rational spaces and set constraints ⋮ TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS ⋮ Set constraints and logic programming ⋮ Set constraints in some equational theories ⋮ Set constraints in some equational theories ⋮ Lattice-valued tree pushdown automata: pumping lemma and closure properties

This page was built for publication: