Número de Documento     
Artículo:

Automated termination proofs for haskell by term rewriting

Autor:

Jürgen Giesl,

Matthias Raffelsieper,

Peter Schneider-Kamp,

Stephan Swiderski,

René Thiemann

Página:

Article No.: 7

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

33

Número:

2

Periodo:

2011

ISSN:

01640925

SrcID:

01640925-2011-02.txt

Número de Documento