"9" Result
Sort By:
String-rewriting systems
by Book, Ronald V., Otto, Friedrich
fromTexts and Monographs in Computer Science
0
Type: Book
Logic programming: proceedings
by Association for Computing Machinery (États-Unis), Association for Logic Programming, Ueda, Kazunori, International Symposium on Logic Programming, San Diego (Calif.)), Saraswat, Vijay A., Institute of electrical and electronics engineers, American association for the advancement of artificial intelligence
0
Type: Book
"Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem proving systems to computer algebra. This book begins with several examples, f…
