scientific article; zbMATH DE number 1337735

MaRDI QIDQ4264105zbMATH OpenFDO

Authors Agostino Dovier, Alberto Policriti, Gianfranco Rossi

Publication date 16 September 1999

zbMATH Keywords

axiomatic set theory

Mathematics Subject Classification ID

Logic programming (68N17) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 1140684
• A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
• scientific article; zbMATH DE number 1330135
• scientific article; zbMATH DE number 3871321
• Set unification

Cited in

(13)

• An efficient labelled nested multiset unification algorithm
• Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
• Metalevel algorithms for variant satisfiability
• A necessary condition for constructive negation in constraint logic programming
• scientific article; zbMATH DE number 1330135 (Why is no real title available?)
• scientific article; zbMATH DE number 1140684 (Why is no real title available?)
• Variant-Based Satisfiability in Initial Algebras
• scientific article; zbMATH DE number 7552283 (Why is no real title available?)
• A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
• scientific article; zbMATH DE number 5199066 (Why is no real title available?)
• Constructive negation and constraint logic programming with sets
• The Ackermann encoding and its siblings
• Deciding implication for functional dependencies in complex-value databases

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