Filter By
Books (3)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Confluent String Rewriting by Matthias Jantzen 9783642648670
Booksplease Price: £46.28Replacement systems, such as term rewriting systems, tree manipulat ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization,... -
Confluent String Rewriting by Matthias Jantzen 9783540137153
Booksplease Price: £46.58Replacement systems, such as term rewriting systems, tree manipulat ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization,... -
Foundations of Computer Science: Potential-Theory-Cognition by Matthias Jantzen 9783540637462
Booksplease Price: £91.68This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers...