Combining nonstably infinite theories
type: Item
instance of: scholarly article
title: Combining nonstably infinite theories
zbMATH Open document ID: 1108.03014
author: Cesare Tinelli
author: Calogero G. Zarba
published in: Journal of Automated Reasoning
publication date: 2006-11-17T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 5073788
zbMATH Keywords: combination of decision procedures
zbMATH Keywords: Nelson-Oppen method
describes a project that uses: GULP
describes a project that uses: EVES
describes a project that uses: SIMPLIFY
describes a project that uses: CVC
MaRDI profile type: Publication
full work available at URL: s10817-005-5204-9
OpenAlex ID: W2056350513
cites work: Q4737130
cites work: A Decision Procedure for Monotone Functions over Bounded and Complete Lattices
cites work: Simplify: a theorem prover for program checking
cites work: Automated Reasoning
cites work: Quantifier Elimination and Provers Integration
cites work: Q4336034
cites work: Formal Methods at the Crossroads. From Panacea to Foundational Support
cites work: Simplification by Cooperating Decision Procedures
cites work: Complexity, convexity and combinations of theories
cites work: Q4818813
cites work: Q4385440
cites work: Q4804919
cites work: Cooperation of background reasoners in theory reasoning by residue sharing
cites work: Q4385439
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
DOI: 10.1007/S10817-005-5204-9
Recommended article: Combining Non-Stably Infinite Theories
Recommended article: Combining non-stably infinite, non-first order theories
Recommended article: Logic for Programming, Artificial Intelligence, and Reasoning
Recommended article: Infinitary stability theory
Recommended article: Q4266518
Recommended article: Unification in combinations of collapse-free regular theories
Recommended article: Combination of Disjoint Theories: Beyond Decidability
Recommended article: The underdetermination of total theories
Recommended article: Q4735221
Recommended article: A non structure theorem for an infinitary theory which has the unsuperstability property
description: scientific article; zbMATH DE number 5073788