Resultados de 1 a 10 de 16 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
- Recursos Online (14)
Refinado por:
nível superior:
Revistas revisadas por pares
| 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: Artigo
|
|
Rule Systems for Run-time Monitoring: from Eagle to RuleRBarringer, Howard ; Rydeheard, David ; Havelund, KlausJournal of logic and computation, 2010-06, Vol.20 (3), p.675-706 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Modelling evolvable component systems: Part I: A logical frameworkBarringer, H. ; Gabbay, D. ; Rydeheard, D.Logic journal of the IGPL, 2009-12, Vol.17 (6), p.631-696 [Periódico revisado por pares]Texto completo disponível |
| 4 |
Material Type: Artigo
|
|
The Semantic Processing of Continuous Quantities for Discrete Terms in OntologiesWang, Shenghui ; Rydeheard, David ; Pan, Jeff Z.Journal of logic and computation, 2008-06, Vol.18 (3), p.341-359 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Propaganda warsRYDEHEARD, D.E ; MYCROFT, ANature (London), 1982-04, Vol.296 (5859), p.700-700 [Periódico revisado por pares]EnglandTexto completo disponível |
| 6 |
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 |
| 7 |
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 |
| 8 |
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 |
| 9 |
Material Type: Ata de Congresso
|
|
Towards a categorical semantics of type classesHilken, Barney P. ; Rydeheard, David E.Mathematical Foundations of Computer Science 1991, 2005, p.191-201 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
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 |
Resultados de 1 a 10 de 16 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
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (14)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (5)
- Book Chapters (5)
- Anais de Congresso (4)
- Livros (2)
-
Mais opções
Assunto
- Science & Technology (11)
- Computer Science (9)
- Technology (8)
- Computer Science, Theory & Methods (7)
- Category Theory (6)
- Mathematics (5)
- Science & Technology - Other Topics (4)
- Software Engineering (3)
- Mathematics, Applied (3)
- Physical Sciences (3)
- Applied Sciences (3)
- Exact Sciences And Technology (3)
- Logic (3)
- Computer Science; Control Theory; Systems (3)
- Categorieën (2)
- Catégories (2)
- Algebra Of Logic (2)
- Categories (2)
- Compilers (2)
- Categories -- Congresses (2)
-
Mais opções
Data de Publicação
- Antes de1986 (2)
- 1986Até1992 (7)
- 1993Até2004 (2)
- 2005Até2009 (6)
- Após 2009 (1)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (11)
- Lecture Notes in Computer Science Archive (through to 1996) (11)
- Science Citation Index Expanded (Web of Science) (9)
- EBSCOhost Computers and Applied Sciences Complete (4)
- SpringerLink Books Lecture Notes in Computer Science Archive (4)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (4)
- Springer Books Online Archive (4)
- Springer Books (4)
- Oxford Journals (3)
- Oxford University Press Journals Current (3)
- IngentaConnect Journals (1)
- SpringerNature Journals (1)
- Journals@Ovid (1)
- Academic Search Premier (1)
- NUS Single-Journal Subscriptions (1)
- Nature Journals (1)
- Academic OneFile (1)
- Business Source Complete (EB_SDU_P3) (1)
- EZB Electronic Journals Library (1)
- ACM Digital Library Complete (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 