Searching for authors named "Don Pigozzi" – sorted by Relevance.
-
Fregean Logics
- FREGEAN LOGICS JANUSZ CZELAKOWSKI AND DON PIGOZZI Abstract. According to Frege's principle
- Cited by 2 (2 self) – Add To MetaCart
-
Negation as Partial Failure
- of Computer Science Iowa State University Ames, Iowa 50011 {mobasher, jacek, slutzki}@(email omitted); Don
- Cited by 3 (3 self) – Add To MetaCart
-
Equational reasoning with subtypes
- EQUATIONAL REASONING WITH SUBTYPES GARY T. LEAVENS AND DON PIGOZZI Abstract. Using equational
- Cited by 5 (1 self) – Add To MetaCart
-
Behavioural reasoning for conditional equations
- Behavioral Reasoning for Conditional Equations † MANUEL ANT ÓNIO MARTINS1 and DON PIGOZZI 2 1
- Cited by 1 (1 self) – Add To MetaCart
-
Multi-valued Logic Programming Semantics: An Algebraic Approach
- . of Computer Science University of Minnesota mobasher@(email omitted); Don Pigozzi Dept. of Mathematics Iowa State
- Cited by 5 (1 self) – Add To MetaCart
-
Typed Homomorphic Relations Extended with Subtypes
- Typed Homomorphic Relations Extended with Subtypes Gary T. Leavens and Don Pigozzi TR #91-14 June
- Cited by 13 (11 self) – Add To MetaCart
-
The Behavior-Realization Adjunction and Generalized Homomorphic Relations
- in Theoretical Computer Science. Copyright c fl Gary T. Leavens and Don Pigozzi, 1994, 1996. This copyright
- Cited by 10 (6 self) – Add To MetaCart
-
An Exact Algebraic Characterization of Behavioral Subtyping
- An Exact Algebraic Characterization of Behavioral Subtyping Gary T. Leavens and Don Pigozzi TR #96
- Cited by 3 (3 self) – Add To MetaCart
-
An Exact Algebraic Characterization Of Behavioral Subtyping
- AN EXACT ALGEBRAIC CHARACTERIZATION OF BEHAVIORAL SUBTYPING Gary T. Leavens and Don Pigozzi Iowa
- Add To MetaCart
-
Fregean Logics With The Multiterm Deduction Theorem And Their Algebraization
- AND DON PIGOZZI Abstract. A deductive system S (in the sense of Tarski) is Fregean if the relation
- Add To MetaCart

