On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4182476
@@ Property / cites work: Q4182476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3674616
@@ Property / cites work: Q3674616 / rank @@
+Normal rank
@@ Property / cites work @@
+The ant-lion paradigm for strong normalization
@@ Property / cites work: The ant-lion paradigm for strong normalization / rank @@
+Normal rank
@@ Property / cites work @@
+Some Properties of Conversion
@@ Property / cites work: Some Properties of Conversion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281472
@@ Property / cites work: Q4281472 / rank @@
+Normal rank
@@ Property / cites work @@
+A direct proof of the finite developments theorem
@@ Property / cites work: A direct proof of the finite developments theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783265
@@ Property / cites work: Q3783265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
+Normal rank
@@ Property / cites work @@
+Q4260372
@@ Property / cites work: Q4260372 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analysis of perpetual strategies in \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Postponement, conservation and preservation of strong normalization for generalized reduction
+Normal rank
@@ Property / cites work @@
+Q3356291
@@ Property / cites work: Q3356291 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal normalization in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4942642
@@ Property / cites work: Q4942642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954449
@@ Property / cites work: Q4954449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501151
@@ Property / cites work: Q4501151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364379
@@ Property / cites work: Q4364379 / rank @@
+Normal rank
@@ Property / cites work @@
+Perpetuality and uniform normalization in orthogonal rewrite systems
+Normal rank
@@ Property / cites work @@
+Q4222804
@@ Property / cites work: Q4222804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+Q3024911
@@ Property / cites work: Q3024911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281481
@@ Property / cites work: Q4281481 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254556
@@ Property / cites work: Q4254556 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial time termination and constraint satisfaction tests
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4880706
@@ Property / cites work: Q4880706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511325
@@ Property / cites work: Q4511325 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization from weak normalization in typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q3024848
@@ Property / cites work: Q3024848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3127078
@@ Property / cites work: Q3127078 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite family developments
@@ Property / cites work: Finite family developments / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501166
@@ Property / cites work: Q4501166 / rank @@
+Normal rank
@@ Property / cites work @@
+Perpetual reductions in \(\lambda\)-calculus
@@ Property / cites work: Perpetual reductions in \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The Clausal Theory of Types
@@ Property / cites work: The Clausal Theory of Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024920
@@ Property / cites work: Q3024920 / rank @@
+Normal rank