![](/img/cover-not-exists.png)
Strongly sequential and inductively sequential term rewriting systems
Michael Hanus, Salvador Lucas, Aart MiddeldorpVolume:
67
Year:
1998
Language:
english
Pages:
8
DOI:
10.1016/s0020-0190(98)00016-7
File:
PDF, 776 KB
english, 1998