Filter
Sökt på: Sökresultat
Filter
totalt 4 träffar
Foundations of Computer Science
häftad,
1997,
Engelska,
ISBN 9783540637462
This 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 …
Confluent String Rewriting
häftad,
2011,
Engelska,
ISBN 9783642648670
Replacement 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 …