Shelfclass_id |
3.A |
Sortkey |
RTA |
Authors |
Nachum Dershowitz |
Title |
RTA 1989: Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989: proceedings |
Publisher |
Springer Pub. Co. |
Year |
c1989 |
Languages |
eng |
Isbn |
0387510818 |
Series |
Lecture Notes in Computer Science |
Volume |
355 |
Issn |
0302-9743 |
Description |
(U.S.: alk. paper) vii, 578 p. ill. 25 cm |
Record date |
20060628 |
Location |
New York |
Keywords |
Rewriting systems (Computer science), Computer programming, Computer algorithms |