| 2007 |
|---|
| 26 | EE | Manuel A. Martins,
Don Pigozzi:
Behavioural reasoning for conditional equations.
Mathematical Structures in Computer Science 17(5): 1075-1113 (2007) |
| 2006 |
|---|
| 25 | EE | 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 | EE | 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 | EE | Janusz Czelakowski,
Don Pigozzi:
Fregean logics.
Ann. Pure Appl. Logic 127(1-3): 17-76 (2004) |
| 22 | EE | 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 | EE | 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 | EE | 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 | EE | Don Pigozzi:
Abstract Algebraic Logic.
AMAST 1998: 8-16 |
| 15 | EE | Gary T. Leavens,
Don Pigozzi:
Class-Based and Algebraic Models of Objects.
Electr. Notes Theor. Comput. Sci. 14: (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 | EE | Bamshad Mobasher,
Don Pigozzi,
Giora Slutzki:
Multi-Valued Logic Programming Semantics: An Algebraic Approach.
Theor. Comput. Sci. 171(1-2): 77-109 (1997) |
| 11 | EE | 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 | EE | 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) |
