Memoryless determinacy of infinite parity games: Another simple proof.

Stéphane Le Roux

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

Keyphrases

conjunctive queries
special case
data sets
neural network
information retrieval
reinforcement learning
computer games
theorem proving
query rewriting