| Shelfclass_id | 3.A |
| Sortkey | CTRS |
| Authors | Nachum Dershowitz, Naomi Lindenstrauss |
| Title | CTRS 1994: Conditional and Typed Rewriting Systems: 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994: proceedings |
| Publisher | Springer-Verlag |
| Year | c1995 |
| Languages | eng |
| Isbn | 3540603816 |
| Series | Lecture Notes in Computer Science |
| Volume | 968 |
| Issn | 0302-9743 |
| Description | (softcover: alk. paper) viii, 373 p. ill. 24 cm |
| Record date | 20060627 |
| Location | New York |
| Keywords | Rewriting systems (Computer science), Computer programming, Algorithms |
| Notes | Held in conjunction with ICALP 1994 |