Calogero G. Zarba

Available identifiers

zbMath Open zarba.calogero-gMaRDI QIDQ556678

List of research outcomes

Publication	Date of Publication	Type
Heuristic Bayesian targeting of banner advertising	2017-06-20	Paper
Combining non-stably infinite theories	2013-04-19	Paper
A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions	2013-04-19	Paper
Combining decision procedures.	2010-03-30	Paper
Verification: Theory and Practice	2010-03-23	Paper
A Decision Procedure for Monotone Functions over Bounded and Complete Lattices	2009-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q3437734	2007-05-09	Paper
Combining nonstably infinite theories	2006-11-17	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Frontiers of Combining Systems	2006-10-10	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
A tableau-based decision procedure for a fragment of set theory with iterated membership	2006-01-23	Paper
Combining sets with cardinals	2006-01-23	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case	2005-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4809072	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737128	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4412868	2003-07-17	Paper
Compiling dyadic first-order specifications into map algebra	2003-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2721193	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4503906	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4263009	1999-09-22	Paper

Research outcomes over time

This page was built for person: Calogero G. Zarba