43 citations · 72 across the 14 of their papers we have counts for
1 paper · 1 filter
Stefano Berardi, Ugo de' Liguoro
We consider the problem of finding pre-fixed points of interactive realizers over arbitrary knowledge spaces, obtaining a relative recursive procedure. Knowledge spaces and interac…