Hercules and Hydra, a game on rooted finite trees
Commentationes Mathematicae Universitatis Carolinae (1985)
- Volume: 026, Issue: 2, page 259-267
- ISSN: 0010-2628
Access Full Article
top
How to cite
topLoebl, Martin. "Hercules and Hydra, a game on rooted finite trees." Commentationes Mathematicae Universitatis Carolinae 026.2 (1985): 259-267. <http://eudml.org/doc/17378>.
@article{Loebl1985,
author = {Loebl, Martin},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {tree; undecidability; combinatorial game; Hercules and Hydra game},
language = {eng},
number = {2},
pages = {259-267},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Hercules and Hydra, a game on rooted finite trees},
url = {http://eudml.org/doc/17378},
volume = {026},
year = {1985},
}
TY - JOUR
AU - Loebl, Martin
TI - Hercules and Hydra, a game on rooted finite trees
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1985
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 026
IS - 2
SP - 259
EP - 267
LA - eng
KW - tree; undecidability; combinatorial game; Hercules and Hydra game
UR - http://eudml.org/doc/17378
ER -
References
top- L. KIRBY J. PARIS, Accessible independence results for Peano Arithmetic;, Bulletin of the London Math. Soc. 14 (1982). (1982) MR0663480
- M. LOEBL, Honza a drak;, SVOČ 1984. (1984)
- J. NEŠETŘIL, Some non standard Ramsey-like applications;, Theoret. Comp. Science, 1984. (1984)
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.