Recursion-closed algebraic theories (Q1157899): Difference between revisions

@@ Property / cites work @@
+Q3698292
@@ Property / cites work: Q3698292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138103
@@ Property / cites work: Q4138103 / rank @@
+Normal rank
@@ Property / cites work @@
+A representation of trees by languages. I
@@ Property / cites work: A representation of trees by languages. I / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite trees in normal form and recursive equations having a unique solution
+Normal rank
@@ Property / cites work @@
+Automata in general algebras
@@ Property / cites work: Automata in general algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+DPDA's in 'Atomic normal form' and applications to equivalence problems
+Normal rank
@@ Property / cites work @@
+Q4146243
@@ Property / cites work: Q4146243 / rank @@
+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 @@
+On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
+Normal rank
@@ Property / cites work @@
+Semantics of computation
@@ Property / cites work: Semantics of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063610
@@ Property / cites work: Q4063610 / 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 @@
+Theory of program structures: Schemes, semantics, verification
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950708
@@ Property / cites work: Q3950708 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of chain-complete algebras
@@ Property / cites work: Varieties of chain-complete algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic automata and context-free sets
@@ Property / cites work: Algebraic automata and context-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric interpretations of infinite trees and semantics of non deterministic recursive programs
+Normal rank
@@ Property / cites work @@
+Q3853124
@@ Property / cites work: Q3853124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636307
@@ Property / cites work: Q5636307 / 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 @@
+Q4176939
@@ Property / cites work: Q4176939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851612
@@ Property / cites work: Q3851612 / 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 @@
+On the role of memory in object-based and object-oriented languages
+Normal rank
@@ Property / cites work @@
+Q5665189
@@ Property / cites work: Q5665189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4404457
@@ Property / cites work: Q4404457 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point constructions in order-enriched categories
+Normal rank