Games with 1-backtracking
Artikel i vetenskaplig tidskrift, 2010
Learning in the limit
Recursive degree
Classical logic
mathematics
Backtracking
Limit computable
Game semantics
Författare
S. Berardi
Universita degli Studi di Torino
Thierry Coquand
Chalmers, Data- och informationsteknik, Datavetenskap
S. Hayashi
Kyoto University
Annals of Pure and Applied Logic
0168-0072 (ISSN)
Vol. 161 10 1254-1269Ämneskategorier
Annan matematik
DOI
10.1016/j.apal.2010.03.002