Proof Systems for Struvtured Algebraic Specifications: An Overview

Rolf Hennicker, Martin Wirsing. Proof Systems for Struvtured Algebraic Specifications: An Overview. In Bogdan S. Chlebus, Ludwik Czaja, editors, Fundamentals of Computation Theory, 11th International Symposium, FCT 97, Kraków, Poland, September 1-3, 1997, Proceedings. Volume 1279 of Lecture Notes in Computer Science, pages 19-37, Springer, 1997.

No reviews for this publication, yet.