On abstract data types presented by multiequations (Q1607218): Difference between revisions

@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888800
@@ Property / cites work: Q4888800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3864690
@@ Property / cites work: Q3864690 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories localement multipresentables
@@ Property / cites work: Categories localement multipresentables / rank @@
+Normal rank
@@ Property / cites work @@
+Categories multialgebriques
@@ Property / cites work: Categories multialgebriques / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic characterization of closure under connected limits
+Normal rank
@@ Property / cites work @@
+Q3852172
@@ Property / cites work: Q3852172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853627
@@ Property / cites work: Q3853627 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank