On local modularity and interpolation in entailment systems
Information Processing Letters
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
On what exactly goes on when software is developed step-by-step, II: the sequel
Information Processing Letters - Special issue: Contribution to computing science
Interpolation in Grothendieck institutions
Theoretical Computer Science
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
A semantic approach to interpolation
Theoretical Computer Science
A semantic approach to interpolation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Interpolation for predefined types
Mathematical Structures in Computer Science
An axiomatic approach to structuring specifications
Theoretical Computer Science
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Interpolation in logics with constructors
Theoretical Computer Science
Hi-index | 0.01 |