skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Category theory and computer science proceedings
Category theory and computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Programming (6. 1995 Cambridge) David H Pitt; David E Rydeheard; Peter T Johnstone

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.953 e.1 ) e outros locais(Acessar)

2
Axiomatizability in inclusive equational logics
Axiomatizability in inclusive equational logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Axiomatizability in inclusive equational logics

Rou, Grigore

Mathematical Structures in Computer Science, 2002, Vol.12(5), pp.541-563 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
3
Order-enrichment for categories of partial maps
Order-enrichment for categories of partial maps
Material Type:
Artigo 		Adicionar ao Meu Espaço

Order-enrichment for categories of partial maps

Fiore, Marcelo P

Mathematical Structures in Computer Science, 1995, Vol.5(4), pp.533-562 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
4
A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science
A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

RYDEHEARD, DAVID E. ; SANNELLA, DONALD T.

Formal Aspects of Computing, 2002, Vol.13(3), pp.187-193 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Citações Citado por
5
An interactive semantics of logic programming
An interactive semantics of logic programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

An interactive semantics of logic programming

Bruni, Roberto; Montanari, Ugo; Rossi, Francesca

Theory and Practice of Logic Programming, 2001, Vol.1(6), pp.647-690 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
Category-based modularisation for equational logic programming
Category-based modularisation for equational logic programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Category-based modularisation for equational logic programming

Diaconescu, Răzvan

Acta Informatica, 1996, Vol.33(5), pp.477-510 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Citações Citado por
7
Institution Morphisms
Institution Morphisms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Institution Morphisms

Goguen, Joseph ; Roşu, Grigore

Formal Aspects of Computing, 2002, Vol.13(3), pp.274-307 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Citações Citado por
8
Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers
Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers

Fiadeiro, José

Springer Berlin Heidelberg, Berlin, Heidelberg 1999

Texto completo disponível

Citações Citado por
9
Model of Migration and Use of Platforms: Role of Hierarchy, Current Generation, and Complementarities in Consumer Settings
Model of Migration and Use of Platforms: Role of Hierarchy, Current Generation, and Complementarities in Consumer Settings
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model of Migration and Use of Platforms: Role of Hierarchy, Current Generation, and Complementarities in Consumer Settings

Xu, Xin ; Venkatesh, Viswanath ; Tam, Kar Yan ; Hong, Se - Joon;

Management Science, 2010, Vol.56(8), p.1304-1323 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Citações Citado por
10
progressiveMauve: Multiple Genome Alignment with Gene Gain, Loss and Rearrangement (Multiple Genome Alignment)
progressiveMauve: Multiple Genome Alignment with Gene Gain, Loss and Rearrangement (Multiple Genome Alignment)
Material Type:
Artigo 		Adicionar ao Meu Espaço

progressiveMauve: Multiple Genome Alignment with Gene Gain, Loss and Rearrangement (Multiple Genome Alignment)

Darling, Aaron E ; Mau, Bob ; Perna, Nicole T Stajich, Jason E. (Editor)

PLoS ONE, 2010, Vol.5(6), p.e11147 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Citações Citado por
Resultados 1 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  (1.656)
  2. Anais de Congresso  (947)
  3. Livros  (188)
  4. Verbetes  (16)
  5. Resenhas  (9)
  6. Book Chapters  (2)
  7. Relatórios Técnicos  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1994  (15)
  2. 1994Até2000  (412)
  3. 2001Até2007  (716)
  4. 2008Até2015  (1.347)
  5. Após 2015  (281)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.785)
  2. Alemão  (4)
  3. Italiano  (3)
  4. Português  (2)
  5. Chinês  (2)
  6. Francês  (2)
  7. Mais opções open sub menu

  • Realização: AGUIA USP

Buscando em bases de dados remotas. Favor aguardar.