Axiomatizing Specification Theory

Authors:
T. S. E. Maibaum;M. R. Sadler
Affiliations:
-;-
Venue:
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
Year:
1984

Module algebra

Journal of the ACM (JACM)
On local modularity and interpolation in entailment systems

Information Processing Letters
Interpolation in Modal Logic

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Abstract Algebraic Logic

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A semantic approach to interpolation

Theoretical Computer Science

Hi-index	0.01