scientific article; zbMATH DE number 2090313
From MaRDI portal
Publication:4809072
zbMath1072.68598MaRDI QIDQ4809072
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920363.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (13)
A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited ⋮ Combining nonstably infinite theories ⋮ A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions1 1This research has been partially supported by MURST Grant prot. 2001017741 under project “Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche”. ⋮ Linear Arithmetic with Stars ⋮ Decision procedures for term algebras with integer constraints ⋮ Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars ⋮ Combining Non-Stably Infinite Theories ⋮ A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case ⋮ Decision Procedures for Multisets with Cardinality Constraints ⋮ Decision Procedures for Automating Termination Proofs ⋮ Politeness and combination methods for theories with bridging functions ⋮ Efficient automated reasoning about sets and multisets with cardinality constraints ⋮ Combining sets with cardinals
This page was built for publication:
