Proof and Computation

September 10-16, 2023, Herrsching, Germany

Cichon's conjecture on the slow growing hierarchy

• (Universal) Termination of Term Rewrite Systems (handout)
• The Slow-Growing Hierachy and Friends (handout)
• Cichon's Conjecture and Counterexample (handout)