Tallenna
String-Rewriting Systems
It represents an attempt by the authors to present the concepts that the authors consider to be most fundamental and to gather together the most useful results in such a way that they can be understood and used in studies relating to more general rewriting, to automated deduction, and to algo rithmic problems of algebraic structures.
- Kirjailija
- Ronald V. Book, Friedrich Otto
- Painos
- Softcover reprint of the original 1st ed. 1993
- ISBN
- 9781461397731
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 14.12.2011
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 189
