Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
HIGHER-ORDER REWRITE SYSTEMS AND THEIR CONFLUENCE
Authors:
MAYR R NIPKOW T
Citation:
R. Mayr et T. Nipkow, HIGHER-ORDER REWRITE SYSTEMS AND THEIR CONFLUENCE, Theoretical computer science, 192(1), 1998, pp. 3-29
Risultati:
1-1
|