scientific article; zbMATH DE number 1538020

MaRDI QIDQ4518875zbMATH OpenFDO

Authors Agostino Dovier, Carla Piazza, Alberto Policriti

Publication date 3 December 2000

zbMATH Keywords

constraintsmultisetsrelative expressive power of operatorsunification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Multisets, heaps, bags, families: what is a multiset?
• Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
• A systematization of fundamentals of multisets
• Higher-level constructs for families and multisets
• Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator

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