Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Monotone Dialectica Interpretation"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Mircea-Dan Hernest
Publikováno v:
Electronic Notes in Theoretical Computer Science. (5):141-149
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of Godel's T of type (N->N)->(N->N). The generic solution may then be quickly inferred by the human. The automated synthesi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a2997cf83895d2a79bac11fa3cd28062
