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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(01)00189-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2077667590
@@ Property / OpenAlex ID: W2077667590 / rank @@
+Normal rank