On some mathematical logic contributions to rewriting techniques: Lost heritage

  • Yuri Matiyasevich
Regular Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 914)


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.

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Yuri Matiyasevich
    • 1
  1. 1.Saint-Petersburg BranchSteklov Institute of MathematicsSt.PetersburgRussia

Personalised recommendations