skip to main content
Mostrar Somente
Refinado por: assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings

Pitt, David ; Rydeheard, David E ; Johnstone, Peter Rydeheard, David E. ; Johnstone, Peter ; Pitt, David

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

2
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings

Pitt, David H ; Poigné, Axel ; Rydeheard, David E Poigné, Axel ; Rydeheard, David E. ; Pitt, David H.

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

3
Rule Systems for Run-time Monitoring: from Eagle to RuleR
Material Type:
Artigo
Adicionar ao Meu Espaço

Rule Systems for Run-time Monitoring: from Eagle to RuleR

Barringer, Howard ; Rydeheard, David ; Havelund, Klaus

Journal of logic and computation, 2010-06, Vol.20 (3), p.675-706 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

4
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
Material Type:
Artigo
Adicionar ao Meu Espaço

The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies

Wang, 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 Press

Texto completo disponível

5
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

Pitt, 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 1989

Texto completo disponível

6
Computing with categories
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Computing with categories

Burstall, R. ; Rydeheard, D.

CTCS, 1986, p.506-517 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms

Rydeheard, D. E. ; Stell, J. G.

Category Theory and Computer Science, 1987, p.114-139 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
A categorical unification algorithm
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A categorical unification algorithm

Rydeheard, D. E. ; Burstall, R. M.

Category Theory and Computer Programming, 1986, p.493-505 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
A Logical Framework for Monitoring and Evolving Software Components
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A Logical Framework for Monitoring and Evolving Software Components

Barringer, H. ; Rydeheard, D. ; Gabbay, D.

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007, p.273-282

IEEE

Texto completo disponível

10
Categorical ML. Category-theoretic modular programming
Material Type:
Artigo
Adicionar ao Meu Espaço

Categorical ML. Category-theoretic modular programming

DENNIS-JONES, E ; RYDEHEARD, D. E

Formal aspects of computing, 1993-07, Vol.5 (4), p.337-366 [Periódico revisado por pares]

London: Springer

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (12)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (6)
  2. Livros  (5)
  3. Artigos  (3)
  4. Anais de Congresso  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1986  (1)
  2. 1986Até1986  (4)
  3. 1987Até1992  (1)
  4. 1993Até1995  (2)
  5. Após 1995  (11)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.