scientific article; zbMATH DE number 2086594
From MaRDI portal
Publication:4737128
zbMath1057.68682MaRDI QIDQ4737128
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2309/23090103.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 (14)
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”. ⋮ Cardinality constraints for arrays (decidability results and applications) ⋮ A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals ⋮ Efficient theory combination via Boolean search ⋮ Decision procedures for term algebras with integer constraints ⋮ 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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Sets with Cardinality Constraints in Satisfiability Modulo Theories ⋮ A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT ⋮ Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis ⋮ Combining sets with cardinals
This page was built for publication:
