On some slowly terminating term rewriting systems (Q3466405): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+The Hydra Battle Revisited
@@ Property / cites work: The Hydra Battle Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5297489
@@ Property / cites work: Q5297489 / rank @@
+Normal rank
@@ Property / cites work @@
+A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game
+Normal rank
@@ Property / cites work @@
+Logic, combinatorics and independence results. Abstracts from the mini-workshop held November 25 -- December 2, 2006.
+Normal rank
@@ Property / cites work @@
+Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
+Normal rank
@@ Property / cites work @@
+Q5419872
@@ Property / cites work: Q5419872 / rank @@
+Normal rank