A direct independence proof of Buchholz's Hydra Game on finite labeled trees
Masahiro Hamano, Mitsuhiro Okada
研究成果: Article › 査読
5
被引用数
(Scopus)