skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: assunto: Machine Theory remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Calmet, Jacques ; Plaza, Jan Calmet, Jacques ; Plaza, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

Citações Citado por
3
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
4
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Nipkow, Tobias Nipkow, Tobias

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

Citações Citado por
5
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
6
Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings
Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings

Lescanne, Pierre Lescanne, Pierre

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

Citações Citado por
7
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

Oostrom, Vincent van van Oostrom, Vincent

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
8
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings

Middeldorp, Aart Middeldorp, Aart

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
9
Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Tison, Sophie Tison, Sophie

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
10
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

Book, Ronald V Book, Ronald V.

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1995  (3)
  2. 1995Até1997  (3)
  3. 1998Até2000  (5)
  4. 2001Até2004  (10)
  5. Após 2004  (11)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Middeldorp, A
  2. Raamsdonk, F
  3. Vrijer, R
  4. Klop, J
  5. Oostrom, V

Neste Assunto:

  1. Machine Theory
  2. Reduktionssystem
  3. Computer Science
  4. Machine Theory
  5. Mathematical Logic And Formal Languages

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

Buscando em bases de dados remotas. Favor aguardar.