![](/img/cover-not-exists.png)
Extending reduction orderings to ACU-compatible reduction orderings
Uwe WaldmannVolume:
67
Year:
1998
Language:
english
Pages:
7
DOI:
10.1016/s0020-0190(98)00084-2
File:
PDF, 596 KB
english, 1998