Syntactic Theories

Jean-Pierre Jouannaud. Syntactic Theories. In Branislav Rovan, editor, Mathematical Foundations of Computer Science 1990, MFCS 90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings. Volume 452 of Lecture Notes in Computer Science, pages 15-25, Springer, 1990.

Abstract

Abstract is missing.