Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Randomising Realizability

Autor: Carl, M., Galeotti, L., Passmann, R., De Mol, L., Weiermann, A., Manea, F., Fernández-Duque, D.

Publikováno v: Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5–9, 2021 : proceedings, 82-93
STARTPAGE=82;ENDPAGE=93;TITLE=Connecting with Computability
Lecture Notes in Computer Science ISBN: 9783030800482

We consider a randomised version of Kleene’s realizability interpretation of intuitionistic arithmetic in which computability is replaced with randomised computability with positive probability. In particular, we show that (i) the set of randomly r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b384cce9d6d0d98f7942b3f44f1a6e83
https://dare.uva.nl/personal/pure/en/publications/randomising-realizability(b4916e18-c6ef-4a0e-972d-6fa1db3422b7).html

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.