Abstract
A considerable amount of research closely related to rewriting techniques had been developed in the frameworks of mathematical logic. However, it seems that not all achievements have been inhereted by computer science. Some results were later rediscovered independently, and some others still remain little known to computer scientists. The aim of the lecture will be to survey certain of such results with the emphathis on investigations performed in the USSR; papers published in Russian are often little known even among the world logical community.
This is a preview of subscription content, log in via an institution to check access.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Matiyasevich, Y. (1995). On some mathematical logic contributions to rewriting techniques: Lost heritage. In: Hsiang, J. (eds) Rewriting Techniques and Applications. RTA 1995. Lecture Notes in Computer Science, vol 914. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59200-8_42
Download citation
DOI: https://doi.org/10.1007/3-540-59200-8_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59200-6
Online ISBN: 978-3-540-49223-8
eBook Packages: Springer Book Archive