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
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers
Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers

Peña, Ricardo ; Arts, Thomas Peña, Ricardo ; Arts, Thomas

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
2
Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers
Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers

Arts, Thomas ; Mohnen, Markus Arts, Thomas ; Mohnen, Markus

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
3
Termination of term rewriting using dependency pairs
Termination of term rewriting using dependency pairs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Termination of term rewriting using dependency pairs

Arts, Thomas ; Giesl, Jürgen

Theoretical computer science, 2000-04, Vol.236 (1), p.133-178 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Modelling of Autosar Libraries for Large Scale Testing
Modelling of Autosar Libraries for Large Scale Testing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modelling of Autosar Libraries for Large Scale Testing

Mostowski, Wojciech ; Arts, Thomas ; Hughes, John

Electronic Proceedings in Theoretical Computer Science, EPTCS, 2017-01, Vol.244 (Proc. MARS 2017), p.184-199

Open Publishing Association

Texto completo disponível

Citações Citado por
5
Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers

Pena, Ricardo ; Arts, Thomas

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
6
Theorem Proving for Functional Programmers: Sparkle: A Functional Theorem Prover
Theorem Proving for Functional Programmers: Sparkle: A Functional Theorem Prover
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Theorem Proving for Functional Programmers: Sparkle: A Functional Theorem Prover

de Mol, Maarten ; van Eekelen, Marko ; Plasmeijer, Rinus Arts, Thomas ; Mohnen, Markus

Implementation of Functional Languages, 2002, p.55-71 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
A Generic Programming Extension for Clean
A Generic Programming Extension for Clean
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Generic Programming Extension for Clean

Alimarine, Artem ; Plasmeijer, Rinus Arts, Thomas ; Mohnen, Markus

Implementation of Functional Languages, 2002, Vol.2312, p.168-185 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
8
Gast: Generic Automated Software Testing
Gast: Generic Automated Software Testing
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Gast: Generic Automated Software Testing

Koopman, Pieter ; Alimarine, Artem ; Tretmans, Jan ; Plasmeijer, Rinus Peña, Ricardo ; Arts, Thomas

Implementation of Functional Languages, 2003, Vol.2670, p.84-100 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
9
Modular Termination Proofs for Rewriting Using Dependency Pairs
Modular Termination Proofs for Rewriting Using Dependency Pairs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modular Termination Proofs for Rewriting Using Dependency Pairs

Giesl, Jürgen ; Arts, Thomas ; Ohlebusch, Enno

Journal of symbolic computation, 2002-07, Vol.34 (1), p.21-58 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
10
Predictable Space Behaviour in FSM-Hume
Predictable Space Behaviour in FSM-Hume
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Predictable Space Behaviour in FSM-Hume

Hammond, Kevin ; Michaelson, Greg Peña, Ricardo ; Arts, Thomas

Implementation of Functional Languages, 2003, p.1-16 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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.   

Mostrar Somente

  1. Recursos Online (88)
  2. Revistas revisadas por pares (63)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (45)
  2. Book Chapters  (33)
  3. Artigos  (20)
  4. Livros  (4)
  5. Dissertações  (2)
  6. Conjunto de Dados  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (10)
  2. 1999Até2003  (48)
  3. 2004Até2009  (16)
  4. 2010Até2015  (27)
  5. Após 2015  (10)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.