Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Equality-test and if-then-else algebras : axiomatization and specificationPIGOZZI, DSIAM journal on computing, 1991-08, Vol.20 (4), p.766-805 [Periódico revisado por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Multi-valued logic programming semantics an algebraic approachMobasher, Bamshad ; Pigozzi, Don ; Slutzki, GioraTheoretical computer science, 1997-01, Vol.171 (1), p.77-109 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Lambda abstraction algebras: representation theoremsPigozzi, Don ; Salibra, AntoninoTheoretical computer science, 1995-03, Vol.140 (1), p.5-52 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Data types over multiple-valued logicsPigozzi, DonTheoretical computer science, 1990-12, Vol.77 (1), p.161-194 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
The behavior-realization adjunction and generalized homomorphic relationsLeavens, Gray T. ; Pigozzi, DonTheoretical computer science, 1997-04, Vol.177 (1), p.183-216 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Typed homomorphic relations extended with subtypesLeavens, Gary T. ; Pigozzi, Don Melton, Austin ; Brookes, Stephen ; Main, Michael ; Mislove, Michael ; Schmidt, DavidMathematical Foundations of Programming Semantics, 1992, p.144-167 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Connections between Belief Revision, Belief Merging and Social ChoiceGabbay, Dov ; Rodrigues, Odinaldo ; Pigozzi, GabriellaJournal of logic and computation, 2009-06, Vol.19 (3), p.445-446 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Controlled Revision - An Algorithmic Approach for Belief RevisionGabbay, Dov ; Pigozzi, Gabriella ; Woods, JohnJournal of logic and computation, 2003-02, Vol.13 (1), p.15-35 [Periódico revisado por pares]Oxford University PressTexto completo disponível |