scientific article; zbMATH DE number 2043536

zbMATH Open1038.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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15) Complexity of proofs (03F20)

Related Items (6)

Proof-theoretic analysis of termination proofs ⋮ On the Computational Content of Termination Proofs ⋮ Multiply-Recursive Upper Bounds with Higman’s Lemma ⋮ The Hydra battle and Cichon's principle ⋮ Well partial orders ⋮ Bounding derivation lengths with functions from the slow growing hierarchy

Recommendations

• Bounding derivation lengths with functions from the slow growing hierarchy 👍 👎
• On the dependence of the growth rate on the length of the defining relator 👍 👎
• Some interesting connections between the slow growing hierarchy and the Ackermann function 👍 👎
• A lexicographic path order with slow growing derivation bounds 👍 👎
• Bottom-Up derivatives of tree expressions 👍 👎
• From Hierarchical to Relative Hyperbolicity 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4447240)