Term rewriting systems
By: Terese Group.
Contributor(s): Bezem, Marc | Klop, Jan Willem | Vrijer, Roel de.
Material type:
BookSeries: Cambridge tracts in theoretical computer science.Publisher: Cambridge: Cambridge University Press, 2003Description: xxii, 884 p.; ill., index: 24 cm.ISBN: 9780521391153 .Subject(s): Rewriting systems (Computer science)DDC classification: 005.131
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.131 TER (Browse shelf) | Available | 009560 |
There are no comments for this item.