Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
Author(s)
Bibliographic Information
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
（Lecture notes in computer science, 516）
Springer-Verlag, c1991
- : gw
- : us
Available at / 55 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||51691037442
-
Kochi University of Technology.Library
: Berlin007||l49||516000169771,
: gw007||L49||51600016977 -
University of Tsukuba Library, Library on Library and Information Science
: Berlin007.08:L-49:516911004770
-
Hokkaido University, Faculty and Graduate School of Engineering図書
: Berlindc20:511.3/c7533570334586
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
