Shelfclass_id | 4.B.3 |
Sortkey | BEZEM, MARC |
Authors | Marc Bezem, Jan Willem Klop, Roel de Vrijer |
Title | Term Rewriting Systems |
Publisher | Cambridge Univ. Press |
Year | 2003 |
Languages | eng |
Isbn | 0521391156 |
Series | Cambridge tracts in theoretical computer science |
Volume | 55 |
Issn | 99-0691101 |
Description | xxii, 884 s. ill. |
Record date | 20090216 |
Location | Cambridge |
Keywords | Rewriting systems (Computer science) |
Notes | På titels.: Terese |