Feedback
Wird geladen …
Term rewriting systems : Terese / [ed. and authors Marc Bezem; Jan Willem Klop; Roel de Vrijer. Authors Erik Barendsen ...]
Gespeichert in:
| Körperschaft: | |
|---|---|
| Beteiligte: | |
| Sprache: | Englisch |
| Veröffentlicht: | Cambridge [u.a.] : Cambridge Univ. Press, 2003 |
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
; ZDB-ID: 59154-3 ; 55
|
| Umfang: | XXII, 884 S. : graph. Darst. |
| ISBN: | 9780521391153 0521391156 |
| Schlagwörter: | |
| Basisklassifikation: | |
| Mehr zum Titel: | Literaturverz. S. 826 - 857 |