Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
S. Kaplan, M. Okada (eds.)
Bok Engelsk 1991 International CTRS Workshop
| Utgitt | Berlin : Springer-Verlag , c1991
|
|---|---|
| Omfang | X, 461 s. : fig.
|
| Emner | |
| ISBN | 0387543171. - 3540543171
|
