Combining multisets with integers

DOI10.1007/3-540-45620-1_30MaRDI QIDQ4809072zbMATH OpenFDO

Authors Calogero G. Zarba

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2392/23920363.htm

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• Combining sets with integers
• Decision Procedures for Multisets with Cardinality Constraints
• Verification: Theory and Practice
• Combining sets with cardinals
• Unions of non-disjoint theories and combinations of satisfiability procedures

Cited in

(19)

• Efficient automated reasoning about sets and multisets with cardinality constraints
• Politeness and combination methods for theories with bridging functions
• Decision procedures for term algebras with integer constraints
• Decision Procedures for Automating Termination Proofs
• A polite non-disjoint combination method: theories with bridging functions revisited
• Linear Arithmetic with Stars
• Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
• scientific article; zbMATH DE number 2048759 (Why is no real title available?)
• Combining sets with integers
• Combining non-stably infinite theories
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions
• Verification: Theory and Practice
• Decision Procedures for Multisets with Cardinality Constraints
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
• On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework
• Verifying SQL queries using theories of tables and relations
• Integrating cardinality constraints into constraint logic programming with sets
• Combining sets with cardinals
• Combining nonstably infinite theories

This page was built for publication: Combining multisets with integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4809072)