7 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
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 ProceedingsPitt, David ; Rydeheard, David E ; Johnstone, Peter Rydeheard, David E. ; Johnstone, Peter ; Pitt, DavidBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 ProceedingsPitt, David H ; Rydeheard, David E ; Dybjer, Peter ; Pitts, Andrew M ; Poigné, Axel Rydeheard, David E. ; Dybjer, Peter ; Pitt, David H. ; Poigné, Axel ; Pitts, Andrew M. ; Dybjer, Peter ; Pitt, D. H. ; Rydeheard, D.E. ; Poign, A. ; Pitts, A. M.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
| 3 |
Material Type: Capítulo de Livro
|
|
Computing with categoriesBurstall, R. ; Rydeheard, D.Category Theory and Computer Programming, 1986, p.506-517 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Capítulo de Livro
|
|
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithmsRydeheard, D. E. ; Stell, J. G.Category Theory and Computer Science, 1987, p.114-139 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Capítulo de Livro
|
|
A categorical unification algorithmRydeheard, D. E. ; Burstall, R. M.Category Theory and Computer Programming, 1986, p.493-505 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
AdjunctionsRydeheard, David E.Category Theory and Computer Programming, 1986, p.51-57 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Livro
|
|
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 ProceedingsPitt, David ; Abramsky, Samson ; Poigné, Axel ; Rydeheard, David Poigné, Axel ; Pitt, David ; Rydeheard, David ; Abramsky, SamsonBerlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Computer Science, Theory & Methods (4)
- Science & Technology (4)
- Technology (4)
- Logic, Symbolic And Mathematical (3)
- Categorieën (3)
- Congresses (3)
- Computer Science Logic And Foundations Of Programming (3)
- Computer Programming (3)
- Informatik (3)
- Computers (3)
- Catégories (3)
- Electronic Digital Computers (3)
- Categories (3)
- Computer Logic (3)
- Logic Design (3)
- Kongress (3)
- Kategorientheorie (3)
- Computer Science Logic (3)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (7)
- Lecture Notes in Computer Science Archive (through to 1996) (7)
- Science Citation Index Expanded (Web of Science) (4)
- Springer Books (3)
- Springer Books Online Archive (3)
- SpringerLink Books Lecture Notes in Computer Science Archive (3)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 