On local modularity and interpolation in entailment systems
Information Processing Letters
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Interpolation in Grothendieck institutions
Theoretical Computer Science
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
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
Hi-index | 0.89 |