Combining sets with cardinals
type: Item
instance of: scholarly article
title: Combining sets with cardinals
zbMATH Open document ID: 1085.03011
author: Calogero G. Zarba
published in: Journal of Automated Reasoning
publication date: 2006-01-23T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03E30
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 5000719
zbMATH Keywords: combining sets
zbMATH Keywords: set-theoretic language
zbMATH Keywords: decision procedure
zbMATH Keywords: cardinality
MaRDI profile type: Publication
full work available at URL: s10817-005-3075-8
OpenAlex ID: W2017184931
cites work: Introduction to set constraint-based program analysis
cites work: Q3475242
cites work: Q4281682
cites work: Q3999861
cites work: Q2740887
cites work: Q2721193
cites work: The first order properties of products of algebraic systems
cites work: Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
cites work: Quantifier Elimination and Provers Integration
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Simplification by Cooperating Decision Procedures
cites work: Complexity, convexity and combinations of theories
cites work: Cooperation of background reasoners in theory reasoning by residue sharing
cites work: Unions of non-disjoint theories and combinations of satisfiability procedures
cites work: Combining Non-Stably Infinite Theories
cites work: Q4809072
cites work: Q4737128
cites work: Verification: Theory and Practice
DOI: 10.1007/S10817-005-3075-8
description: scientific article; zbMATH DE number 5000719