The following pages link to Calogero G. Zarba (Q556678):
Displaying 23 items.
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680) (← links)
- A tableau-based decision procedure for a fragment of set theory with iterated membership (Q812437) (← links)
- Combining sets with cardinals (Q812443) (← links)
- Combining nonstably infinite theories (Q851136) (← links)
- (Q1870580) (redirect page) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- Heuristic Bayesian targeting of banner advertising (Q2357855) (← links)
- (Q2721193) (← links)
- (Q3437734) (← links)
- (Q4263009) (← links)
- (Q4412868) (← links)
- (Q4503906) (← links)
- (Q4737128) (← links)
- (Q4809072) (← links)
- Combining Non-Stably Infinite Theories (Q4916220) (← links)
- 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 del (Q4916221) (← links)
- A Decision Procedure for Monotone Functions over Bounded and Complete Lattices (Q5302032) (← links)
- Verification: Theory and Practice (Q5305665) (← links)
- Logics in Artificial Intelligence (Q5394160) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479271) (← links)
- Frontiers of Combining Systems (Q5491892) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705949) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900552) (← links)
