scientific article; zbMATH DE number 512856

MaRDI QIDQ4281553zbMATH OpenFDO

Authors Rémi Gilleron, Sophie Tison, M. Tommasi

Publication date 7 April 1994

zbMATH Keywords

set constraintstree automatatree languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Set constraints and automata
• scientific article; zbMATH DE number 1420799
• Set constraints with projections

Cited in

(20)

• Set constraints and logic programming
• Set constraints in some equational theories
• Set constraints and automata
• Solving a unification problem under constrained substitutions using tree automata
• Unification modulo ACUI plus distributivity axioms
• On characterization of fuzzy tree pushdown automata
• Lattice-valued tree pushdown automata: pumping lemma and closure properties
• Algebraic properties of complete residuated lattice valued tree automata
• Set constraints with intersection
• Set constraint model and automated encoding into SAT: application to the social golfer problem
• Automated Induction with Constrained Tree Automata
• Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
• TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
• scientific article; zbMATH DE number 7360252 (Why is no real title available?)
• More problems in rewriting
• Problems in rewriting III
• Set constraints in some equational theories
• Some new decidability results on positive and negative set constraints
• Rational spaces and set constraints
• Rational spaces and set constraints

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281553)