Topological methods for algebraic specification (Q671657): Difference between revisions

@@ Property / cites work @@
+Q3921418
@@ Property / cites work: Q3921418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3811687
@@ Property / cites work: Q3811687 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+Free topological algebras
@@ Property / cites work: Free topological algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On constructive functions
@@ Property / cites work: On constructive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Universal algebra in higher types
@@ Property / cites work: Universal algebra in higher types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5833250
@@ Property / cites work: Q5833250 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and fixed point equations over inverse limits of algebras
+Normal rank
@@ Property / cites work @@
+Q4143774
@@ Property / cites work: Q4143774 / rank @@
+Normal rank
@@ Property / cites work @@
+Zur topologischen Algebra. I. Komplettierungstheorie
+Normal rank
@@ Property / cites work @@
+Final algebra semantics and data type extensions
@@ Property / cites work: Final algebra semantics and data type extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Compactly generated algebras over discrete fields
@@ Property / cites work: Compactly generated algebras over discrete fields / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank