The Hydra Battle Revisited

DOI10.1007/978-3-540-73147-4_1zbMath1181.68161OpenAlexW1518285759MaRDI QIDQ3608809

Nachum Dershowitz, Georg Moser

Publication date: 6 March 2009

Published in: Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73147-4_1

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Grammars and rewriting systems (68Q42)

Related Items (7)

On some slowly terminating term rewriting systems ⋮ Unnamed Item ⋮ Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations ⋮ Die another day ⋮ Independence of Ramsey theorem variants using $\varepsilon _0$ ⋮ The Hydra battle and Cichon's principle ⋮ Unnamed Item

This page was built for publication: The Hydra Battle Revisited