Don Pigozzi - RankMe

29 papers B 3Journal 22Unranked 3

Year	Rank	Type	Title / Venue / Authors
2009	J	`jnl`	Update to "A Survey of Abstract Algebraic Logic". Stud Logica Josep Maria Font, Ramon Jansana, Don Pigozzi
2007	J	`jnl`	Behavioural reasoning for conditional equations. Math. Struct. Comput. Sci. Manuel A. Martins, Don Pigozzi
2006	J	`jnl`	In Memory of Willem Johannes Blok 1947-2003. Stud Logica Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James G. Raftery
2006	J	`jnl`	On the Closure Properties of the Class of Full G-models of a Deductive System. Stud Logica Josep Maria Font, Ramon Jansana, Don Pigozzi
2004	J	`jnl`	Fregean logics with the multiterm deduction theorem and their algebraization. Stud Logica Janusz Czelakowski, Don Pigozzi
2004	J	`jnl`	Fregean logics. Ann. Pure Appl. Log. Janusz Czelakowski, Don Pigozzi
2003	J	`jnl`	A Survey of Abstract Algebraic Logic. Stud Logica Josep Maria Font, Ramon Jansana, Don Pigozzi
2003	J	`jnl`	Foreword. Stud Logica Josep Maria Font, Ramon Jansana, Don Pigozzi
2001	J	`jnl`	Fully Adequate Gentzen Systems and the Deduction Theorem. Reports Math. Log. Josep Maria Font, Ramon Jansana, Don Pigozzi
2000	J	`jnl`	A Complete Algebraic Characterization of Behavioral Subtyping. Acta Informatica Gary T. Leavens, Don Pigozzi
2000	J	`jnl`	Foreword. Stud Logica Josep Maria Font, Ramon Jansana, Don Pigozzi
1998	—	`conf`	Abstract Algebraic Logic. AMAST Don Pigozzi
1998	J	`jnl`	Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. Fundam. Informaticae Don Pigozzi, Antonino Salibra
1997	—	`conf`	Class-Based and Algebraic Models of Objects. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Gary T. Leavens, Don Pigozzi
1997	J	`jnl`	Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. Fundam. Informaticae Don Pigozzi, Antonino Salibra
1997	J	`jnl`	Multi-Valued Logic Programming Semantics: An Algebraic Approach. Theor. Comput. Sci. Bamshad Mobasher, Don Pigozzi, Giora Slutzki
1997	J	`jnl`	The Behavior-Realization Adjunction and Generalized Homomorphic Relations. Theor. Comput. Sci. Gary T. Leavens, Don Pigozzi
1995	J	`jnl`	Lambda Abstraction Algebras: Representation Theorems. Theor. Comput. Sci. Don Pigozzi, Antonino Salibra
1995	J	`jnl`	The abstract variable-binding calculus. Stud Logica Don Pigozzi, Antonino Salibra
1993	B	`conf`	A Representation Theorem for Lambda Abstraction Algebras. MFCS Don Pigozzi, Antonino Salibra
1993	—	`conf`	Dimension-Complemented Lambda Abstraction Algebras. AMAST Don Pigozzi, Antonino Salibra
1993	B	`conf`	Negation as Partial Failure. LPNMR Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi
1991	J	`jnl`	Equality-Test and If-Then-Else Algebras: Axiomatization and Specification. SIAM J. Comput. Don Pigozzi
1991	J	`jnl`	Introduction. Stud Logica Willem J. Blok, Don Pigozzi
1991	B	`conf`	Typed Homomorphic Relations Extended with Sybtypes. MFPS Gary T. Leavens, Don Pigozzi
1990	—	`ed.`	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings Algebraic Logic and Universal Algebra in Computer Science Clifford Bergman, Roger D. Maddux, Don Pigozzi
1990	J	`jnl`	Data Types over Multiple-Values Logics. Theor. Comput. Sci. Don Pigozzi
1988	J	`jnl`	Alfred Tarski's Work on General Metamathematics. J. Symb. Log. Willem J. Blok, Don Pigozzi
1986	J	`jnl`	Protoalgebraic logics. Stud Logica Willem J. Blok, Don Pigozzi