skip to main content
Idioma:
Refinado por: assunto: Termination remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
The size-change principle and dependency pairs for termination of term rewriting
The size-change principle and dependency pairs for termination of term rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

The size-change principle and dependency pairs for termination of term rewriting

Thiemann, René ; Giesl, Jürgen

Applicable algebra in engineering, communication and computing, 2005-09, Vol.16 (4), p.229-270 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
3
Verification of Erlang Processes by Dependency Pairs
Verification of Erlang Processes by Dependency Pairs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification of Erlang Processes by Dependency Pairs

Giesl, Jürgen ; Arts, Thomas

Applicable algebra in engineering, communication and computing, 2001-06, Vol.12 (1-2), p.39-72 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
4
Applying rewriting techniques to the verification of erlang processes
Applying rewriting techniques to the verification of erlang processes
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Applying rewriting techniques to the verification of erlang processes

ARTS, T ; GIESL, J

Lecture notes in computer science, 1999, p.96-110 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
5
Approximating the domains of functional and imperative programs
Approximating the domains of functional and imperative programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Approximating the domains of functional and imperative programs

Brauburger, Jürgen ; Giesl, Jürgen

Science of computer programming, 1999-11, Vol.35 (2), p.113-136 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.