scientific article; zbMATH DE number 1420799

MaRDI QIDQ4944863zbMATH OpenFDO

Authors Philippe Devienne, Jean-Marc Talbot, Sophie Tison

Publication date 22 March 2000

zbMATH Keywords

set constraints

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1140683
• Equational formulae with membership constraints
• Generalized definite set constraints
• Set constraints in some equational theories
• Set constraints in some equational theories
• scientific article; zbMATH DE number 2102743
• scientific article; zbMATH DE number 1670479
• Multiset variable representations and constraint propagation
• Satisfiability of co-nested formulas
• Constructive negation and constraint logic programming with sets

Cited in

(8)

• Generalized definite set constraints
• Set constraints with intersection
• Set constraints with projections
• scientific article; zbMATH DE number 512856 (Why is no real title available?)
• scientific article; zbMATH DE number 1113816 (Why is no real title available?)
• Equational and membership constraints for infinite trees
• Checking Emptiness of Non-Deterministic Regular Types with Set Operators
• Deciding inclusion of set constants over infinite non-strict data structures

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 Q4944863)