Artículo:

Program termination analysis in polynomial time

Autor:

Amir M. Ben-Amram

Chin Soon Lee

Página:

1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

29

Número:

1

Periodo:

January 2007

ISSN:

01640925

SrcID:

01640925-2007-01.txt