Base modules for parametrized iterativity (Q2435311): Difference between revisions

@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+Iterative algebras at work
@@ Property / cites work: Iterative algebras at work / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras with parametrized iterativity
@@ Property / cites work: Algebras with parametrized iterativity / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for parametrized iterativity
@@ Property / cites work: Bases for parametrized iterativity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / rank @@
+Normal rank
@@ Property / cites work @@
+The existence and construction of free iterative theories
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Regular trees and the free iterative theory
@@ Property / cites work: Regular trees and the free iterative theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative algebras
@@ Property / cites work: Iterative algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On absolute colimits
@@ Property / cites work: On absolute colimits / rank @@
+Normal rank
@@ Property / cites work @@
+Unique fixed points vs. least fixed points
@@ Property / cites work: Unique fixed points vs. least fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing Substitution
@@ Property / cites work: Generalizing Substitution / rank @@
+Normal rank