Resultados de 1 a 10 de 44 para Busca Geral
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
A bi-intuitionistic modal logic: Foundations and automationStell, John G. ; Schmidt, Renate A. ; Rydeheard, DavidJournal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.500-519 [Periódico revisado por pares]Texto completo disponível |
| 2 |
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 |
| 3 |
Material Type: Tese
|
|
Applications of category theory to programming and program specificationRydeheard, David EricUniversity of EdinburghSem texto completo |
| 4 |
Material Type: Tese
|
|
Applications of Category Theory to Programming and Program SpecificationRydeheard, David EricThe University of Edinburgh 1982Texto completo disponível |
| 5 |
Material Type: Artigo
|
|
Automata-based Pattern Mining from Imperfect TracesReger, Giles ; Barringer, Howard ; Rydeheard, DavidSoftware engineering notes, 2015-02, Vol.40 (1), p.1-8Texto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Automata-based Pattern Mining from Imperfect TracesReger, Giles ; Barringer, Howard ; Rydeheard, DavidAssociation for Computing Machinery 2015Texto completo disponível |
| 7 |
Material Type: Artigo
|
|
Categorical ML. Category-theoretic modular programmingDENNIS-JONES, E ; RYDEHEARD, D. EFormal aspects of computing, 1993-07, Vol.5 (4), p.337-366 [Periódico revisado por pares]London: SpringerTexto completo disponível |
| 8 |
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 |
| 9 |
Material Type: Livro
|
|
Category Theory and Computer SciencePitt P. T Johnstone; David H Pitt; David E RydeheardSpringer Berlin Heidelberg 1995Acesso online |
| 10 |
Material Type: Livro
|
|
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 ProceedingsPitt, David H ; Poigné, Axel ; Rydeheard, David E Poigné, Axel ; Rydeheard, David E. ; Pitt, David H.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
Resultados de 1 a 10 de 44 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (13)
- Artigos (12)
- Livros (10)
- Book Chapters (7)
- Dissertações (2)
-
Mais opções
Assunto
- Computer Science (22)
- Science & Technology (18)
- Technology (16)
- Computer Science, Theory & Methods (13)
- Mathematics (7)
- Computer Science, Software Engineering (6)
- Programming (6)
- Category Theory (6)
- Logic, Symbolic And Mathematical (5)
- Congresses (5)
- Computer Science Logic And Foundations Of Programming (5)
- Logics And Meanings Of Programs (5)
- Runtime Verification (5)
- Mathematical Logic (5)
- Electronic Digital Computers (5)
- Categories (5)
- Computer Logic (5)
- Logic (5)
- Logic Design (5)
- Computer Science Logic (5)
- Teoria Da Computação (4)
- Ciência Da Computação (1)
-
Mais opções
Autor/Criador
- Pitt, D (5)
- Rydeheard, D (5)
- Poigne, A (3)
- Workshop on Category Theory and Computer Science (3)
- Johnstone, P (2)
- Pitts, A (2)
- Curien, P (1)
- Dybjer, P (1)
- Pitt (1)
- Workshop on Category Theory and Computer Programming (1)
- Abramsky, S (1)
-
Mais opções
Data de Publicação
- Antes de1989 (6)
- 1989Até1994 (5)
- 1995Até2007 (14)
- 2008Até2013 (12)
- Após 2013 (11)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (21)
- Lecture Notes in Computer Science Archive (through to 1996) (19)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (8)
- Springer Books (8)
- Science Citation Index Expanded (Web of Science) (7)
- Computers and Applied Sciences Complete (7)
- SpringerLink Books Lecture Notes in Computer Science Archive (6)
- Springer Books Online Archive (6)
- Manchester University Research Explorer (5)
- Oxford Journals (5)
- Oxford University Press Journals Current (5)
- ACM Digital Library (4)
- EBSCOhost Business Source Complete (3)
- IEEE Electronic Library (IEL) Conference Proceedings (2)
- SpringerLink Journals - AutoHoldings (2)
- NASA Technical Reports Server (1)
- Springer Nature - Springer Journals All 2022 (1)
- Academic Search Premier (1)
- SpringerOpen (1)
- ScienceDirect (1)
-
Mais opções
Nome da Publicação
- Logic Journal Of The Igpl (2)
- Journal Of Logic And Computation (2)
- Mathematical Structures In Computer Science (1)
- Formal Aspects Of Computing (1)
- Fundamenta Informaticae (1)
- International Journal On Software Tools For Technology Transfer (1)
- Journal Of Logical And Algebraic Methods In Programming (1)
- Language, Culture, Computation. Computing - Theory And Technology (1)
- Lecture Notes In Computer Science (1)
- Acm Sigsoft Software Engineering Notes (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 