Equational logic of circular data type specification (Q1825026): Difference between revisions

@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+Varietors and machines in a category
@@ Property / cites work: Varietors and machines in a category / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063607
@@ Property / cites work: Q4063607 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially additive categories and flow-diagram semantics
+Normal rank
@@ Property / cites work @@
+Right exact functors
@@ Property / cites work: Right exact functors / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative and recursive matrix theories
@@ Property / cites work: Iterative and recursive matrix theories / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion and iteration in continuous theories: the ''M-construction''
+Normal rank
@@ Property / cites work @@
+Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
+Normal rank
@@ Property / cites work @@
+Vector Iteration in Pointed Iterative Theories
@@ Property / cites work: Vector Iteration in Pointed Iterative Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing schemes and their behaviors
@@ Property / cites work: Axiomatizing schemes and their behaviors / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of Iteration Theories
@@ Property / cites work: Varieties of Iteration Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Compatible Orderings on the Metric Theory of Trees
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Programming With and Without go to Statements
+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 @@
+Q3919058
@@ Property / cites work: Q3919058 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras of iteration theories
@@ Property / cites work: Algebras of iteration theories / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Formal category theory: Adjointness for 2-categories
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of data types: A synthetic approach
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative algebras
@@ Property / cites work: Iterative algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+On flowchart theories. II: The nondeterministic case
+Normal rank
@@ Property / cites work @@
+Q4741696
@@ Property / cites work: Q4741696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4176939
@@ Property / cites work: Q4176939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727407
@@ Property / cites work: Q4727407 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point constructions in order-enriched categories
+Normal rank