Parametrization for order-sorted algebraic specification (Q909448): Difference between revisions

@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Equational partiality
@@ Property / cites work: Equational partiality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738549
@@ Property / cites work: Q3738549 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Q3962973
@@ Property / cites work: Q3962973 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q3950708
@@ Property / cites work: Q3950708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707390
@@ Property / cites work: Q3707390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707379
@@ Property / cites work: Q3707379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3759011
@@ Property / cites work: Q3759011 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809237
@@ Property / cites work: Q3809237 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank