Term rewriting theory for the primitive recursive functions (Q674412): Difference between revisions

@@ Property / cites work @@
+Q3138831
@@ Property / cites work: Q3138831 / rank @@
+Normal rank
@@ Property / cites work @@
+The slow-growing and the Graegorczyk hierarchies
@@ Property / cites work: The slow-growing and the Graegorczyk hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138832
@@ Property / cites work: Q3138832 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability. Recursive and programmable functions
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+Q5629622
@@ Property / cites work: Q5629622 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational derivation vs. computation
@@ Property / cites work: Equational derivation vs. computation / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs by multiset path orderings imply primitive recursive derivation lengths
+Normal rank
@@ Property / cites work @@
+Q5600870
@@ Property / cites work: Q5600870 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533181
@@ Property / cites work: Q5533181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960847
@@ Property / cites work: Q3960847 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133625
@@ Property / cites work: Q4133625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand analyses
@@ Property / cites work: Herbrand analyses / rank @@
+Normal rank
@@ Property / cites work @@
+The realm of primitive recursion
@@ Property / cites work: The realm of primitive recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Slow growing versus fast growing
@@ Property / cites work: Slow growing versus fast growing / rank @@
+Normal rank
@@ Property / cites work @@
+Bounding derivation lengths with functions from the slow growing hierarchy
+Normal rank
@@ Property / cites work @@
+Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
+Normal rank
@@ Property / cites work @@
+Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
+Normal rank
@@ Property / cites work @@
+A proof of strongly uniform termination for Gödel's \(T\) by methods from local predicativity
+Normal rank