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 |
Browsing DAIICT Shelves Close shelf browser
| 005.131 NIE Semantics with applications : an appetizer | 005.131 SHA Second course in formal languages and automata theory | 005.131 SUB Formal models, languages and applications | 005.131 TER Term rewriting systems | 005.131 WEL Concurrent and real-time programming in Java | 005.131 WIN Formal semantics of programming languages | 005.13119 WOO Software engineering mathematics : formal methods demystified |
There are no comments for this item.