Infinitary combinatory reduction systems (Q550248): Difference between revisions

@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+On Confluence of Infinitary Combinatory Reduction Systems
+Normal rank
@@ Property / cites work @@
+Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
+Normal rank
@@ Property / cites work @@
+Infinitary Combinatory Reduction Systems: Confluence
+Normal rank
@@ Property / cites work @@
+Q4442948
@@ Property / cites work: Q4442948 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
+Normal rank
@@ Property / cites work @@
+Transfinite reductions in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus
@@ Property / cites work: Infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780427
@@ Property / cites work: Q3780427 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow analysis of lazy higher-order functional programs
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+Q4524793
@@ Property / cites work: Q4524793 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938608
@@ Property / cites work: Q4938608 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Q2778888
@@ Property / cites work: Q2778888 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order rewrite systems and their confluence
@@ Property / cites work: Higher-order rewrite systems and their confluence / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848117
@@ Property / cites work: Q2848117 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896520
@@ Property / cites work: Q4896520 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order narrowing with definitional trees
@@ Property / cites work: Higher-order narrowing with definitional trees / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order families
@@ Property / cites work: Higher-order families / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900995
@@ Property / cites work: Q3900995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205073
@@ Property / cites work: Q4205073 / rank @@
+Normal rank
@@ Property / cites work @@
+REDEX CAPTURING IN TERM GRAPH REWRITING
@@ Property / cites work: REDEX CAPTURING IN TERM GRAPH REWRITING / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259973
@@ Property / cites work: Q4259973 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus and discrimination of Berarducci trees.
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary rewriting: meta-theory and convergence
@@ Property / cites work: Infinitary rewriting: meta-theory and convergence / rank @@
+Normal rank
@@ Property / cites work @@
+On modularity in infinitary term rewriting
@@ Property / cites work: On modularity in infinitary term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3012528
@@ Property / cites work: Q3012528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472882
@@ Property / cites work: Q5472882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4064160
@@ Property / cites work: Q4064160 / 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 @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal and Optimal Computations of Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q4808745
@@ Property / cites work: Q4808745 / rank @@
+Normal rank
@@ Property / cites work @@
+Paths, computations and labels in the \(\lambda\)-calculus
+Normal rank