- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 27 |      | Josep Maria Font, Ramon Jansana, Don Pigozzi: Update to "A Survey of Abstract Algebraic Logic". Studia Logica 91(1): 125-130 (2009) |
| 2007 | ||
| 26 | | Manuel A. Martins, Don Pigozzi: Behavioural reasoning for conditional equations. Mathematical Structures in Computer Science 17(5): 1075-1113 (2007) |
| 2006 | ||
| 25 | | Josep Maria Font, Ramon Jansana, Don Pigozzi: On the Closure Properties of the Class of Full G-models of a Deductive System. Studia Logica 83(1-3): 215-278 (2006) |
| 24 | | Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James G. Raftery: In Memory of Willem Johannes Blok 1947-2003. Studia Logica 83(1-3): 5-14 (2006) |
| 2004 | ||
| 23 | | Janusz Czelakowski, Don Pigozzi: Fregean logics. Ann. Pure Appl. Logic 127(1-3): 17-76 (2004) |
| 22 | | Janusz Czelakowski, Don Pigozzi: Fregean logics with the multiterm deduction theorem and their algebraization. Studia Logica 78(1-2): 171-212 (2004) |
| 2003 | ||
| 21 | | Josep Maria Font, Ramon Jansana, Don Pigozzi: A Survey of Abstract Algebraic Logic. Studia Logica 74(1-2): 13-97 (2003) |
| 20 | | Josep Maria Font, Ramon Jansana, Don Pigozzi: Foreword. Studia Logica 74(1-2): 3-12 (2003) |
| 2001 | ||
| 19 | | Josep Maria Font, Ramon Jansana, Don Pigozzi: Fully Adequate Gentzen Systems and the Deduction Theorem. Reports on Mathematical Logic 35: 115-165 (2001) |
| 2000 | ||
| 18 | | Gary T. Leavens, Don Pigozzi: A Complete Algebraic Characterization of Behavioral Subtyping. Acta Inf. 36(8): 617-663 (2000) |
| 17 | | Josep Maria Font, Ramon Jansana, Don Pigozzi: Foreword. Studia Logica 65(1): 1-9 (2000) |
| 1998 | ||
| 16 | | Don Pigozzi: Abstract Algebraic Logic. AMAST 1998: 8-16 |
| 15 | | Gary T. Leavens, Don Pigozzi: Class-Based and Algebraic Models of Objects. Electr. Notes Theor. Comput. Sci. 14: 214-244 (1998) |
| 14 | | Don Pigozzi, Antonino Salibra: Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. Fundam. Inform. 33(2): 149-200 (1998) |
| 1997 | ||
| 13 | | Don Pigozzi, Antonino Salibra: Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. Fundam. Inform. 32(1): 47-90 (1997) |
| 12 | | Bamshad Mobasher, Don Pigozzi, Giora Slutzki: Multi-Valued Logic Programming Semantics: An Algebraic Approach. Theor. Comput. Sci. 171(1-2): 77-109 (1997) |
| 11 | | Gary T. Leavens, Don Pigozzi: The Behavior-Realization Adjunction and Generalized Homomorphic Relations. Theor. Comput. Sci. 177(1): 183-216 (1997) |
| 1995 | ||
| 10 | | Don Pigozzi, Antonino Salibra: The abstract variable-binding calculus. Studia Logica 55(1): 129-179 (1995) |
| 9 | | Don Pigozzi, Antonino Salibra: Lambda Abstraction Algebras: Representation Theorems. Theor. Comput. Sci. 140(1): 5-52 (1995) |
| 1993 | ||
| 8 |  | Don Pigozzi, Antonino Salibra: Dimension-Complemented Lambda Abstraction Algebras. AMAST 1993: 129-136 |
| 7 | | Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi: Negation as Partial Failure. LPNMR 1993: 244-262 |
| 6 | | Don Pigozzi, Antonino Salibra: A Representation Theorem for Lambda Abstraction Algebras. MFCS 1993: 629-639 |
| 1991 | ||
| 5 | | Gary T. Leavens, Don Pigozzi: Typed Homomorphic Relations Extended with Sybtypes. MFPS 1991: 144-167 |
| 4 | | Don Pigozzi: Equality-Test and If-Then-Else Algebras: Axiomatization and Specification. SIAM J. Comput. 20(4): 766-805 (1991) |
| 1990 | ||
| 3 | | Clifford Bergman, Roger D. Maddux, Don Pigozzi: Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings Springer 1990 |
| 2 | | Don Pigozzi: Data Types over Multiple-Values Logics. Theor. Comput. Sci. 77(1&2): 161-194 (1990) |
| 1988 | ||
| 1 | | Willem J. Blok, Don Pigozzi: Alfred Tarski's Work on General Metamathematics. J. Symb. Log. 53(1): 36-50 (1988) |
| 1 | Clifford Bergman | [3] |
| 2 | Joel Berman | [24] |
| 3 | Willem J. Blok | [1] |
| 4 | Janusz Czelakowski | [22] [23] |
| 5 | Wieslaw Dziobiak | [24] |
| 6 | Josep Maria Font | [17] [19] [20] [21] [25] [27] |
| 7 | Ramon Jansana | [17] [19] [20] [21] [25] [27] |
| 8 | Gary T. Leavens | [5] [11] [15] [18] |
| 9 | Jacek Leszczylowski | [7] |
| 10 | Roger D. Maddux | [3] |
| 11 | Manuel A. Martins (Manuel António Martins) | [26] |
| 12 | Bamshad Mobasher | [7] [12] |
| 13 | James G. Raftery | [24] |
| 14 | Antonino Salibra | [6] [8] [9] [10] [13] [14] |
| 15 | Giora Slutzki | [12] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page