scientific article; zbMATH DE number 1337735
From MaRDI portal
Publication:4264105
zbMath0930.68042MaRDI QIDQ4264105
Alberto Policriti, Gianfranco Rossi, Agostino Dovier
Publication date: 16 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets ⋮ A necessary condition for constructive negation in constraint logic programming ⋮ An efficient labelled nested multiset unification algorithm ⋮ Deciding implication for functional dependencies in complex-value databases ⋮ Constructive negation and constraint logic programming with sets ⋮ Unnamed Item ⋮ Variant-Based Satisfiability in Initial Algebras ⋮ Metalevel Algorithms for Variant Satisfiability