%0 Journal Article %1 journals/mlq/HamanoO97 %A Hamano, Masahiro %A Okada, Mitsuhiro %D 1997 %J Math. Log. Q. %K dblp %P 103-120 %T A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game. %U http://dblp.uni-trier.de/db/journals/mlq/mlq43.html#HamanoO97 %V 43

@article{journals/mlq/HamanoO97, added-at = {2021-10-14T00:00:00.000+0200}, author = {Hamano, Masahiro and Okada, Mitsuhiro}, biburl = {https://www.bibsonomy.org/bibtex/215eb0202d1126499039b0855dec762cb/dblp}, ee = {https://doi.org/10.1002/malq.19970430113}, interhash = {d7785445a2915b3205d81c9c3bdddc33}, intrahash = {15eb0202d1126499039b0855dec762cb}, journal = {Math. Log. Q.}, keywords = {dblp}, pages = {103-120}, timestamp = {2024-04-08T17:44:19.000+0200}, title = {A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq43.html#HamanoO97}, volume = 43, year = 1997 }