Parameterisation for abstract structured specifications (Q387996): Difference between revisions

@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of the Beth definability theorem
+Normal rank
@@ Property / cites work @@
+Logical systems for structured specifications.
@@ Property / cites work: Logical systems for structured specifications. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak inclusion systems
@@ Property / cites work: Weak inclusion systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520827
@@ Property / cites work: Q4520827 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Diagrams in Institutions
@@ Property / cites work: Elementary Diagrams in Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to structuring specifications
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebra of structured specifications
@@ Property / cites work: On the algebra of structured specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Software Engineering
@@ Property / cites work: Categories for Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+An Oxford survey of order sorted algebra
@@ Property / cites work: An Oxford survey of order sorted algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Composing Hidden Information Modules over Inclusive Institutions
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Axiomatizability in inclusive equational logics
@@ Property / cites work: Axiomatizability in inclusive equational logics / rank @@
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank