A game-theoretic proof of Shelah's theorem on labeled trees.

Trevor M. Wilson

Published in: Math. Log. Q. (2020)

Keyphrases

game theoretic
labeled trees
game theory
decision problems
tree structures
nash equilibrium
tree structured data
unordered trees
tree edit distance
von neumann
parent child
tree mining
utility function
tabu search
cooperative
phylogenetic trees
lower bound