Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Don
Last name:	Pigozzi
DBLP:	22/7040
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 26  

Select a publication
Show	Title	Venue	Rating	Date
	Josep Maria Font, Ramon Jansana, Don Pigozzi. Update to "A Survey of Abstract Algebraic Logic".	Studia Logica 2009, Volume 91	(0)	2009
	Manuel A. Martins, Don Pigozzi. Behavioural reasoning for conditional equations.	Mathematical Structures in Computer Science 2007, Volume 17	(0)	2007
	Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James G. Raftery. In Memory of Willem Johannes Blok 1947-2003.	Studia Logica 2006, Volume 83	(0)	2006
	Josep Maria Font, Ramon Jansana, Don Pigozzi. On the Closure Properties of the Class of Full G-models of a Deductive System.	Studia Logica 2006, Volume 83	(0)	2006
	Janusz Czelakowski, Don Pigozzi. Fregean logics.	Ann. Pure Appl. Logic 2004, Volume 127	(0)	2004
	Janusz Czelakowski, Don Pigozzi. Fregean logics with the multiterm deduction theorem and their algebraization.	Studia Logica 2004, Volume 78	(0)	2004
	Josep Maria Font, Ramon Jansana, Don Pigozzi. Foreword.	Studia Logica 2003, Volume 74	(0)	2003
	Josep Maria Font, Ramon Jansana, Don Pigozzi. A Survey of Abstract Algebraic Logic.	Studia Logica 2003, Volume 74	(0)	2003
	Josep Maria Font, Ramon Jansana, Don Pigozzi. Fully Adequate Gentzen Systems and the Deduction Theorem.	Reports on Mathematical Logic 2001, Volume 35	(0)	2001
	Gary T. Leavens, Don Pigozzi. A Complete Algebraic Characterization of Behavioral Subtyping.	Acta Inf. 1999, Volume 36	(0)	2000
	Josep Maria Font, Ramon Jansana, Don Pigozzi. Foreword.	Studia Logica 2000, Volume 65	(0)	2000
	Don Pigozzi. Abstract Algebraic Logic.	Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings 1999	(0)	1998
	Gary T. Leavens, Don Pigozzi. Class-Based and Algebraic Models of Objects.	Electr. Notes Theor. Comput. Sci. 1998, Volume 14	(0)	1998
	Don Pigozzi, Antonino Salibra. Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.	Fundam. Inform. 1998, Volume 33	(0)	1998
	Don Pigozzi, Antonino Salibra. Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.	Fundam. Inform. 1997, Volume 32	(0)	1997
	Gary T. Leavens, Don Pigozzi. The Behavior-Realization Adjunction and Generalized Homomorphic Relations.	Theor. Comput. Sci. 1997, Volume 177	(0)	1997
	Bamshad Mobasher, Don Pigozzi, Giora Slutzki. Multi-Valued Logic Programming Semantics: An Algebraic Approach.	Theor. Comput. Sci. 1997, Volume 171	(0)	1997
	Don Pigozzi, Antonino Salibra. The abstract variable-binding calculus.	Studia Logica 1995, Volume 55	(0)	1995
	Don Pigozzi, Antonino Salibra. Lambda Abstraction Algebras: Representation Theorems.	Theor. Comput. Sci. 1995, Volume 140	(0)	1995
	Don Pigozzi, Antonino Salibra. Dimension-Complemented Lambda Abstraction Algebras.	Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993 1994	(0)	1993
	Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi. Negation as Partial Failure.	LPNMR 1993	(0)	1993
	Don Pigozzi, Antonino Salibra. A Representation Theorem for Lambda Abstraction Algebras.	Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings 1993	(0)	1993
	Gary T. Leavens, Don Pigozzi. Typed Homomorphic Relations Extended with Sybtypes.	Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings 1992	(0)	1991
	Don Pigozzi. Equality-Test and If-Then-Else Algebras: Axiomatization and Specification.	SIAM J. Comput. 1991, Volume 20	(0)	1991
	Don Pigozzi. Data Types over Multiple-Values Logics.	Theor. Comput. Sci. 1990, Volume 77	(0)	1990

Your query returned 26 matches in the database.