About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Loebl, Martin
Hercules and Hydra, a game on rooted finite trees. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 2, pp. 259-267
MSC: 03B25, 03F30, 05C05, 90D42, 90D99, 91A99 | MR 803922 | Zbl 0565.90090
References:
[1] L. KIRBY J. PARIS: Accessible independence results for Peano Arithmetic. Bulletin of the London Math. Soc. 14 (1982). MR 0663480
[2] M. LOEBL: Honza a drak. SVOČ 1984.
[3] J. NEŠETŘIL: Some non standard Ramsey-like applications. Theoret. Comp. Science, 1984.
Partner of
EuDML logo