Termination and normalisation under strategy Proofs in ELAN
Hélène Kirchner, Isabelle GnaedigVolume:
36
Year:
2000
Language:
english
Pages:
28
DOI:
10.1016/s1571-0661(05)80124-0
File:
PDF, 263 KB
english, 2000