Stratified institutions and elementary homomorphisms (Q2379932): Difference between revisions

@@ Property / cites work @@
+Q4738215
@@ Property / cites work: Q4738215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722041
@@ Property / cites work: Q2722041 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Institutionalising Many-Sorted Coalgebraic Modal Logic
+Normal rank
@@ Property / cites work @@
+Q4432964
@@ Property / cites work: Q4432964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520814
@@ Property / cites work: Q4520814 / rank @@
+Normal rank
@@ Property / cites work @@
+Mirror, mirror in my hand: a duality between specifications and models of process behaviour
+Normal rank
@@ Property / cites work @@
+Q4217280
@@ Property / cites work: Q4217280 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q4942101
@@ Property / cites work: Q4942101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493908
@@ Property / cites work: Q4493908 / rank @@
+Normal rank
@@ Property / cites work @@
+An Institution-independent Generalization of Tarski's Elementary Chain Theorem
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of the Robinson consistency theorem
+Normal rank
@@ Property / cites work @@
+Q3839061
@@ Property / cites work: Q3839061 / 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 @@
+Fibring of logics as a categorial construction
@@ Property / cites work: Fibring of logics as a categorial construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776610
@@ Property / cites work: Q3776610 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3265664
@@ Property / cites work: Q3265664 / rank @@
+Normal rank