skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
previous page 1 Resultados 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
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

Citações Citado por
12
Categorical ML. Category-theoretic modular programming
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

Citações Citado por
13
Computing with categories
Computing with categories
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Computing with categories

Burstall, R. ; Rydeheard, D.

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
14
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
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

Citações Citado por
15
A categorical unification algorithm
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

Citações Citado por
16
Tableau development for a bi-intuitionistic tense logic
Tableau development for a bi-intuitionistic tense logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Tableau development for a bi-intuitionistic tense logic

Stell, JG ; Schmidt, RA ; Rydeheard, D

Springer International Publishing 2014

Texto completo disponível

Citações Citado por
17
Towards a categorical semantics of type classes
Towards a categorical semantics of type classes
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards a categorical semantics of type classes

Hilken, Barney P. ; Rydeheard, David E.

Mathematical Foundations of Computer Science 1991, 2005, p.191-201 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
18
A Logical Framework for Monitoring and Evolving Software Components
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

Citações Citado por
19
Axiomatic and tableau-based reasoning for Kt(H,R)
Axiomatic and tableau-based reasoning for Kt(H,R)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Axiomatic and tableau-based reasoning for Kt(H,R)

Schmidt, RA ; Stell, JG ; Rydeheard, DE

College Publications 2014

Texto completo disponível

Citações Citado por
20
Adjunctions
Adjunctions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Adjunctions

Rydeheard, David E.

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (175)
  2. Anais de Congresso  (33)
  3. Book Chapters  (24)
  4. Livros  (12)
  5. Newsletter Articles  (2)
  6. Verbetes  (2)
  7. magazinearticle  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (27)
  2. 1991Até1998  (25)
  3. 1999Até2006  (47)
  4. 2007Até2015  (81)
  5. Após 2015  (72)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (248)
  2. Japonês  (16)
  3. Português  (1)
  4. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.