Search the dblp DataBase
Calogero G. Zarba :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Domenico Cantone , Calogero G. Zarba A Decision Procedure for Monotone Functions over Bounded and Complete Lattices. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:318-333 [Conf ] Domenico Cantone , Calogero G. Zarba A Decision Procedure for Monotone Functions over Lattices. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 2003, pp:1-12 [Conf ] Calogero G. Zarba Combining Sets with Elements. [Citation Graph (0, 0)][DBLP ] Verification: Theory and Practice, 2003, pp:762-782 [Conf ] Calogero G. Zarba Combining Multisets with Integers. [Citation Graph (0, 0)][DBLP ] CADE, 2002, pp:363-376 [Conf ] Silvio Ranise , Christophe Ringeissen , Calogero G. Zarba Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. [Citation Graph (0, 0)][DBLP ] FroCos, 2005, pp:48-64 [Conf ] Calogero G. Zarba Combining Sets with Integers. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:103-116 [Conf ] Domenico Cantone , Calogero G. Zarba A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. [Citation Graph (0, 0)][DBLP ] FTP (LNCS Selection), 1998, pp:126-136 [Conf ] Cesare Tinelli , Calogero G. Zarba Combining Decision Procedures for Sorted Theories. [Citation Graph (0, 0)][DBLP ] JELIA, 2004, pp:641-653 [Conf ] Pascal Fontaine , Silvio Ranise , Calogero G. Zarba Combining Lists with Non-stably Infinite Theories. [Citation Graph (0, 0)][DBLP ] LPAR, 2004, pp:51-66 [Conf ] Silvio Ranise , Calogero G. Zarba A Theory of Singly-Linked Lists and its Extensible Decision Procedure. [Citation Graph (0, 0)][DBLP ] SEFM, 2006, pp:206-215 [Conf ] Deepak Kapur , Rupak Majumdar , Calogero G. Zarba Interpolation for data structures. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2006, pp:105-116 [Conf ] Domenico Cantone , Calogero G. Zarba A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2000, pp:143-159 [Conf ] Domenico Cantone , Calogero G. Zarba A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2005, pp:93-107 [Conf ] Domenico Cantone , Calogero G. Zarba A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1999, pp:97-112 [Conf ] Calogero G. Zarba A Tableau Calculus for Combining Non-disjoint Theories. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2002, pp:315-329 [Conf ] Zohar Manna , Calogero G. Zarba Combining Decision Procedures. [Citation Graph (0, 0)][DBLP ] 10th Anniversary Colloquium of UNU/IIST, 2002, pp:381-422 [Conf ] Domenico Cantone , Jacob T. Schwartz , Calogero G. Zarba A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal ] Cesare Tinelli , Calogero G. Zarba Combining Non-Stably Infinite Theories. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal ] Domenico Cantone , Calogero G. Zarba , Rosa Ruggeri Cannata A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2005, v:34, n:1, pp:49-72 [Journal ] Calogero G. Zarba Combining Sets with Cardinals. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2005, v:34, n:1, pp:1-29 [Journal ] Calogero G. Zarba , Domenico Cantone , Jacob T. Schwartz A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2004, v:33, n:3-4, pp:251-269 [Journal ] Cesare Tinelli , Calogero G. Zarba Combining Nonstably Infinite Theories. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2005, v:34, n:3, pp:209-238 [Journal ] Domenico Cantone , Andrea Formisano , Eugenio G. Omodeo , Calogero G. Zarba Compiling dyadic first-order specifications into map algebra. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:293, n:2, pp:447-475 [Journal ] Socio-Legal Analysis of Criminal Sentences: A Preliminary Study. [Citation Graph (, )][DBLP ] Search in 0.014secs, Finished in 0.016secs