Provides complexity results for the constrained existence problem of five equilibrium notions in multiplayer graph games.
On the relations between the syntactic theories of lambda-mu-calculi
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it