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
Logic Colloquium '99: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 - Volume: 17
Logic Colloquium '99: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 - Volume: 17
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Colloquium '99: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 - Volume: 17

Oostrom,Vincent Van

Cambridge University Press 2016

Acesso online

2
Rewriting Techniques and Applications
Rewriting Techniques and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications

International Conference on Rewriting Techniques and Applications Vincent van Oostrom

Springer Berlin / Heidelberg 2004

Acesso online

3
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedings
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedings

International Conference on Rewriting Techniques and Applications (15th 2004 Aachen, Germany) Vincent van Oostrom 1966

Berlin Springer New York, NY c2004

Acesso online. A biblioteca também possui exemplares impressos.

4
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Jan Willem Klop; Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer

Berlin u.a. Springer 2005

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

5
Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999

Logic Colloquium (1999 Utrecht, Netherlands) J. van Eijck (Jan); Vincent van Oostrom 1966; Albert Visser; Association for Symbolic Logic

Wellesley, Mass A K Peters 2004

Localização: IME - Inst. Matemática e Estatística    (QA9.C L832L 1999 )(Acessar)

6
Decomposition orders—another generalisation of the fundamental theorem of arithmetic
Decomposition orders—another generalisation of the fundamental theorem of arithmetic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decomposition orders—another generalisation of the fundamental theorem of arithmetic

Luttik, Bas ; van Oostrom, Vincent

Theoretical computer science, 2005-05, Vol.335 (2), p.147-186 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
A geometric proof of confluence by decreasing diagrams
A geometric proof of confluence by decreasing diagrams
Material Type:
Artigo 		Adicionar ao Meu Espaço

A geometric proof of confluence by decreasing diagrams

Klop, JW ; van Oostrom, V ; de Vrijer, R

Journal of logic and computation, 2000-06, Vol.10 (3), p.437-460 [Periódico revisado por pares]

Oxford: Oxford University Press

Texto completo disponível

Citações Citado por
8
Confluence by decreasing diagrams
Confluence by decreasing diagrams
Material Type:
Artigo 		Adicionar ao Meu Espaço

Confluence by decreasing diagrams

van Oostrom, Vincent

Theoretical computer science, 1994-04, Vol.126 (2), p.259-280 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Smooth Muscle Progenitor Cells: Friend or Foe in Vascular Disease?
Smooth Muscle Progenitor Cells: Friend or Foe in Vascular Disease?
Material Type:
Artigo 		Adicionar ao Meu Espaço

Smooth Muscle Progenitor Cells: Friend or Foe in Vascular Disease?

Oostrom, Olivia ; Fledderus, Joost ; de Kleijn, Dominique ; Pasterkamp, Gerard ; Verhaar, Marianne

Current stem cell research and therapy, 2009-05, Vol.4 (2), p.131-140 [Periódico revisado por pares]

Bentham Science Publishers Ltd

Texto completo disponível

Citações Citado por
10
Combinatory reduction systems: introduction and survey
Combinatory reduction systems: introduction and survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

Combinatory reduction systems: introduction and survey

Klop, Jan Willem ; van Oostrom, Vincent ; van Raamsdonk, Femke

Theoretical computer science, 1993-12, Vol.121 (1), p.279-308 [Periódico revisado por pares]

Amsterdam: 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  (72)
  2. Livros  (5)
  3. Reports  (2)
  4. Anais de Congresso  (2)
  5. Book Chapters  (2)
  6. Archival Material / Manuscripts  (1)
  7. magazinearticle  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1994  (8)
  2. 1994Até2003  (14)
  3. 2004Até2010  (22)
  4. 2011Até2017  (31)
  5. Após 2017  (11)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (84)
  2. Japonês  (7)
  3. Holandê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.