The following pages link to (Q4281553):
Displaying 15 items.
- Rational spaces and set constraints (Q671675) (← links)
- Set constraints and logic programming (Q1271565) (← links)
- Set constraints in some equational theories (Q1271568) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- On characterization of fuzzy tree pushdown automata (Q2001163) (← links)
- Lattice-valued tree pushdown automata: pumping lemma and closure properties (Q2076992) (← links)
- Algebraic properties of complete residuated lattice valued tree automata (Q2392561) (← links)
- Set constraints with intersection (Q2506490) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS (Q4626611) (← links)
- More problems in rewriting (Q5055812) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Set constraints in some equational theories (Q5096315) (← links)
- Some new decidability results on positive and negative set constraints (Q5096317) (← links)
- Rational spaces and set constraints (Q5096725) (← links)
