Die Another Day

DOI10.1007/978-3-540-72914-3_14MaRDI QIDQ5426022zbMATH OpenOpenAlexFDO

Authors Rudolf Fleischer

Publication date 15 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72914-3_14

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Games involving graphs (91A43)

Recommendations

• Die another day
• Hydra groups.
• scientific article; zbMATH DE number 4089568
• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• The Hydra Battle Revisited

Cited in

(1)

• Die another day

This page was built for publication: Die Another Day

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