Generalized interpolation in CASL (Q851912): Difference between revisions

@@ Property / describes a project that uses @@
+CoFI
@@ Property / describes a project that uses: CoFI / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839053
@@ Property / cites work: Q3839053 / 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 @@
+On a generalized modularization theorem
@@ Property / cites work: On a generalized modularization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642540
@@ Property / cites work: Q5642540 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+An extended joint consistency theorem for free logic with equality
+Normal rank
@@ Property / cites work @@
+Q4255593
@@ Property / cites work: Q4255593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536619
@@ Property / cites work: Q5536619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175531
@@ Property / cites work: Q4175531 / rank @@
+Normal rank
@@ Property / cites work @@
+On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Q4790386
@@ Property / cites work: Q4790386 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Parameterisation revisited
+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 / full work available at URL @@
+https://doi.org/10.1016/s0020-0190(00)00120-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1522400614
@@ Property / OpenAlex ID: W1522400614 / rank @@
+Normal rank