Publication:4447240
From MaRDI portal
zbMath1038.68069MaRDI QIDQ4447240
Georg Moser, Andreas Weiermann
Publication date: 16 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060296.htm
68Q42: Grammars and rewriting systems
03D20: Recursive functions and relations, subrecursive hierarchies
03F15: Recursive ordinals and ordinal notations
03F20: Complexity of proofs
Related Items
The Hydra battle and Cichon's principle, Multiply-Recursive Upper Bounds with Higman’s Lemma, On the Computational Content of Termination Proofs