A short note on type-inhabitation: Formula-trees vs. game semantics.

Sandra Alves Sabine Broda

Published in: Inf. Process. Lett. (2015)

Keyphrases

decision trees
game theory
computer games
game playing
game theoretic
virtual world
conceptual model
multi agent systems
xml documents
relational structures