A direct independence proof of Buchholz's Hydra Game on finite labeled trees.

Masahiro Hamano Mitsuhiro Okada

Published in: Arch. Math. Log. (1998)

Keyphrases

labeled trees
parent child
ordered labeled trees
tree structured data
computer games
video games
tree edit distance
game playing
game play
phylogenetic trees
educational games
game based learning
tree structures
unordered trees
game design
online game
data representation