Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types
Authors:
Pierangelo Miglioli;Ugo Moscato;Mario Ornaghi
Affiliations:
-;-;-
Venue:
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming