Interpolation for predefined types (Q3225735): Difference between revisions

@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+A simple algebraic proof of the equational interpolation theorem
+Normal rank
@@ Property / cites work @@
+Abstract Beth definability in institutions
@@ Property / cites work: Abstract Beth definability in institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity, convexity and combinations of theories
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+On a generalized modularization theorem
@@ Property / cites work: On a generalized modularization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in Grothendieck institutions
@@ Property / cites work: Interpolation in Grothendieck institutions / rank @@
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of Craig interpolation theorem
+Normal rank
@@ Property / cites work @@
+Herbrand theorems in arbitrary institutions
@@ Property / cites work: Herbrand theorems in arbitrary institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Diagrams in Institutions
@@ Property / cites work: Elementary Diagrams in Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Logical systems for structured specifications.
@@ Property / cites work: Logical systems for structured specifications. / rank @@
+Normal rank
@@ Property / cites work @@
+Category-based constraint logic
@@ Property / cites work: Category-based constraint logic / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized interpolation in CASL
@@ Property / cites work: Generalized interpolation in CASL / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in practical formal development
@@ Property / cites work: Interpolation in practical formal development / rank @@
+Normal rank
@@ Property / cites work @@
+Module algebra
@@ Property / cites work: Module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+State of the Union: Type Inference Via Craig Interpolation
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of the Robinson consistency theorem
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On pushout consistency, modularity and interpolation for logical specifications
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
+Normal rank