Games with 1-backtracking
Journal article, 2010
Learning in the limit
Recursive degree
Classical logic
mathematics
Backtracking
Limit computable
Game semantics
Author
S. Berardi
University of Turin
Thierry Coquand
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
S. Hayashi
Kyoto University
Annals of Pure and Applied Logic
0168-0072 (ISSN)
Vol. 161 10 1254-1269Subject Categories
Other Mathematics
DOI
10.1016/j.apal.2010.03.002