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
Types for proofs and programs international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers
Types for proofs and programs international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for proofs and programs international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

TYPES '99 (1999 Lökeberg, Sweden) Thierry Coquand 1961-

Berlin New York Springer c2000

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

2
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs

TYPES '99 Thierry Coquand; Peter Dybjer; Bengt Nordström; Jan Smith

Springer Berlin / Heidelberg 2000

Acesso online

3
RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH)
RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH)
Material Type:
Artigo 		Adicionar ao Meu Espaço

RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH)

Coquand, Thierry ; Lombardi, H.

Communications in algebra, 2016, Vol.44 (2), p.515 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
4
Anneaux à diviseurs et anneaux de Krull (une approche constructive)
Anneaux à diviseurs et anneaux de Krull (une approche constructive)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Anneaux à diviseurs et anneaux de Krull (une approche constructive)

Coquand, T. ; Lombardi, H.

Communications in algebra, 2016-02, Vol.44 (2), p.515-567 [Periódico revisado por pares]

Taylor & Francis

Texto completo disponível

Citações Citado por
5
About Stone's notion of spectrum
About Stone's notion of spectrum
Material Type:
Artigo 		Adicionar ao Meu Espaço

About Stone's notion of spectrum

Coquand, Thierry

Journal of pure and applied algebra, 2005-05, Vol.197 (1), p.141-158 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Revisiting Zariski Main Theorem from a constructive point of view
Revisiting Zariski Main Theorem from a constructive point of view
Material Type:
Artigo 		Adicionar ao Meu Espaço

Revisiting Zariski Main Theorem from a constructive point of view

Alonso, M.E. ; Coquand, T. ; Lombardi, H.

Journal of algebra, 2014-05, Vol.406, p.46-68 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
7
Geometric Hahn-Banach theorem
Geometric Hahn-Banach theorem
Material Type:
Artigo 		Adicionar ao Meu Espaço

Geometric Hahn-Banach theorem

COQUAND, THIERRY

Mathematical proceedings of the Cambridge Philosophical Society, 2006-03, Vol.140 (2), p.313-315 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
8
On a theorem of Kronecker about algebraic sets
On a theorem of Kronecker about algebraic sets
Material Type:
Artigo 		Adicionar ao Meu Espaço

On a theorem of Kronecker about algebraic sets

Coquand, Thierry

Comptes rendus. Mathématique, 2004-02, Vol.338 (4), p.291-294 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
9
Types for Proofs and Programs: International Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers
Types for Proofs and Programs: International Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers

Coquand, Thierry ; Dybjer, Peter ; Nordström, Bengt ; Smith, Jan Coquand, Thierry ; Nordström, Bengt ; Smith, Jan ; Dybjer, Peter

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
10
Compact spaces and distributive lattices
Compact spaces and distributive lattices
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compact spaces and distributive lattices

Coquand, Thierry

Journal of pure and applied algebra, 2003-10, Vol.184 (1), p.1-6 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

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  (236)
  2. Anais de Congresso  (35)
  3. Book Chapters  (31)
  4. Livros  (17)
  5. Reports  (2)
  6. Resenhas  (1)
  7. Dissertações  (1)
  8. Mais opções open sub menu

Autor/Criador 

  1. TYPES '99  (2)
  2. Coquand, T  (2)
  3. Nordström, B  (1)
  4. Smith, J  (1)
  5. Dybjer, P  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (28)
  2. 1991Até1998  (23)
  3. 1999Até2006  (80)
  4. 2007Até2015  (93)
  5. Após 2015  (114)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (297)
  2. Francês  (27)
  3. Japonês  (6)
  4. Alemão  (1)
  5. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. TYPES '99
  2. Coquand, T
  3. Nordström, B
  4. Smith, J
  5. Dybjer, P

Neste Assunto:

  1. Science & Technology
  2. Physical Sciences
  3. Mathematics
  4. Technology
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.