Infinite trees in normal form and recursive equations having a unique solution (Q3851585): Difference between revisions

@@ Property / cites work @@
+Q4138104
@@ Property / cites work: Q4138104 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of ordered algebras
@@ Property / cites work: Varieties of ordered algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+A representation of trees by languages. II
@@ Property / cites work: A representation of trees by languages. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192947
@@ Property / cites work: Q4192947 / rank @@
+Normal rank
@@ Property / cites work @@
+On some classes of interpretations
@@ Property / cites work: On some classes of interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912630
@@ Property / cites work: Q3912630 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for the equivalence of recursive schemas
+Normal rank
@@ Property / cites work @@
+A system which automatically improves programs
@@ Property / cites work: A system which automatically improves programs / 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 @@
+The inclusion problem for simple languages
@@ Property / cites work: The inclusion problem for simple languages / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence problems for deterministic context-free languages and monadic recursion schemes
+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 @@
+Proving and applying program transformations expressed with second-order patterns
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192941
@@ Property / cites work: Q4192941 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint approach to the theory of computation
@@ Property / cites work: Fixpoint approach to the theory of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and reasoning in program synthesis
@@ Property / cites work: Knowledge and reasoning in program synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Flowgraphs and Flow Algebras
@@ Property / cites work: Flowgraphs and Flow Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and semantic equivalence between recursive programs.
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Program equivalence and context-free grammars
@@ Property / cites work: Program equivalence and context-free grammars / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to inductive posets and inductive closure
+Normal rank