Automatizing termination proofs of recursively defined functions
Pascal Manoury, Marianne SimonotVolume:
135
Année:
1994
Langue:
english
Pages:
25
DOI:
10.1016/0304-3975(94)00021-2
Fichier:
PDF, 1.60 MB
english, 1994