8 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
assunto:
Computer Science, Theory & Methods
| 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 |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Assunto
- Mathematics (2)
- Exact Sciences And Technology (2)
- Logic (2)
- Science & Technology - Other Topics (2)
- Mathematical Logic, Foundations, Set Theory (1)
- Algebraic Logic (1)
- Logic And Foundations (1)
- Mathematics, Applied (1)
- General Logic (1)
- Equality (1)
- Abstract Data Type (1)
- Logical Relation (1)
- Algebra (1)
- Applied Sciences (1)
- Boolean (1)
- Computer Science; Control Theory; Systems (1)
-
Mais opções
Data de Publicação
- Antes de1990 (1)
- 1990Até1990 (1)
- 1991Até1991 (1)
- 1992Até1995 (2)
- Após 1995 (4)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (8)
- ScienceDirect (4)
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals (4)
- Computers & Applied Sciences Complete (3)
- Access via Oxford University Press (2)
- Oxford Journals - CRKN (2)
- Academic Search Premier (1)
- Business Source Complete (1)
- Springer Nature – Springer Lecture Notes in Computer Science Archive eBooks 1973-1996 (1)
- SpringerLINK Lecture Notes in Computer Science (2015) (1)
- LOCUS - SIAM's Online Journal Archive (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 