Sökt på: Böcker av Matthias Jantzen
totalt 6 träffar
Confluent String Rewriting
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 …
Confluent String Rewriting
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 …
Foundations of Computer Science
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
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 …