Shelfclass_id |
3.A |
Sortkey |
CTRS |
Authors |
M. Rusinowitch, J. L. Remy |
Title |
CTRS 1992: Conditional Term Rewriting Systems: 3rd International Workshop, CTRS-92, Pont-á-Mousson, France, July 8-10, 1992: proceedings |
Publisher |
Springer Pub. Co. |
Year |
1993 |
Languages |
eng |
Isbn |
0387563938, 3540563938 |
Series |
Lecture Notes in Computer Science |
Volume |
656 |
Issn |
0302-9743 |
Description |
(Berlin: alk. paper) (New York: alk. paper) xi, 501 p. ill. 24 cm |
Record date |
20060627 |
Location |
New York |
Nlmed |
QA267 |
Keywords |
Rewriting systems (Computer science) |