Separating the Fan Theorem and Its Weakenings.

Robert S. Lubarsky Hannes Diener

Published in: LFCS (2013)

Keyphrases

cooperative
end users
von neumann
real time
neural network
database systems
multi agent
multi agent systems
pairwise
dynamic programming
interactive theorem proving