Interpolation in Grothendieck institutions (Q1884940): Difference between revisions

@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2003.10.030
+Normal rank
@@ Property / OpenAlex ID @@
+W2055094587
@@ Property / OpenAlex ID: W2055094587 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Module algebra
@@ Property / cites work: Module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized interpolation in CASL
@@ Property / cites work: Generalized interpolation in CASL / 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 @@
+Q4875304
@@ Property / cites work: Q4875304 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+Grothendieck institutions
@@ Property / cites work: Grothendieck institutions / rank @@
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of Craig interpolation theorem
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of CafeOBJ
@@ Property / cites work: Logical foundations of CafeOBJ / rank @@
+Normal rank
@@ Property / cites work @@
+On a generalized modularization theorem
@@ Property / cites work: On a generalized modularization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q4708606
@@ Property / cites work: Q4708606 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed categories and their applications
@@ Property / cites work: Indexed categories and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+A simple algebraic proof of the equational interpolation theorem
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776610
@@ Property / cites work: Q3776610 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Recent trends in data type specification. 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994. Selected papers
+Normal rank
@@ Property / cites work @@
+Q2782496
@@ Property / cites work: Q2782496 / rank @@
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
+Normal rank