The following pages link to Generalized interpolation in CASL (Q851912):
Displaying 10 items.
- An axiomatic approach to structuring specifications (Q428861) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- On local modularity and interpolation in entailment systems. (Q1853014) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Institutions for SQL database schemas and datasets (Q2185885) (← links)
- Interpolation for predefined types (Q3225735) (← links)