Conditional linearization (Q698633): Difference between revisions

@@ Property / cites work @@
+Pairing Without Conventional Restraints
@@ Property / cites work: Pairing Without Conventional Restraints / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975
+Normal rank
@@ Property / cites work @@
+Q3819993
@@ Property / cites work: Q3819993 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique normal forms for lambda calculus with surjective pairing
+Normal rank
@@ Property / cites work @@
+Extended term rewriting systems
@@ Property / cites work: Extended term rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Unique normal form property of Higher-Order Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
+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 @@
+Q4246736
@@ Property / cites work: Q4246736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063416
@@ Property / cites work: Q4063416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4937190
@@ Property / cites work: Q4937190 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique normal forms for nonlinear term rewriting systems: Root overlaps
+Normal rank
@@ Property / cites work @@
+Q3202990
@@ Property / cites work: Q3202990 / rank @@
+Normal rank