Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Monotone Dialectica Interpretation"'
Autor:
Hernest, Mircea-Dan
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2 June 2007 174(5):141-149
Autor:
HERNEST MIRCEA DAN
This thesis presents a new optimization of Gödel’s Dialectica interpretation for the extraction of more efficient exact realizers from (classical) arithmeti- cal proofs. The “light” variant of Dialectica also combines and even more smoothly wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::497e6201fd2a20dc4b09572212a29635
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
Autor:
Fujiwara, Makoto1, Kohlenbach, Ulrich2 kohlenbach@mathematik.tu-darmstadt.de
Publikováno v:
Mathematical Logic Quarterly. May2015, Vol. 61 Issue 3, p132-150. 19p.
Autor:
Hernest, Mircea-Dan1 danher@brics.dk
Publikováno v:
Mathematical Logic Quarterly. Oct2009, Vol. 55 Issue 5, p551-561. 11p.
Autor:
Schwichtenberg, Helmut1 schwicht@math.lmu.de
Publikováno v:
Mathematical Logic Quarterly. May2008, Vol. 54 Issue 3, p229-239. 11p. 1 Chart.
Autor:
FUJIWARA, MAKOTO, KOHLENBACH, ULRICH
Publikováno v:
Journal of Symbolic Logic; Sep2018, Vol. 83 Issue 3, p991-1012, 22p
Autor:
Trifonov, Trifon
Publikováno v:
Mathematical Theory & Computational Practice; 2009, p467-477, 11p
Autor:
Oliva, Paulo
Publikováno v:
Journal of Logic & Computation; Apr2012, Vol. 22 Issue 2, p305-328, 24p
Autor:
Ratiu, Diana, Trifonov, Trifon
Publikováno v:
Journal of Logic & Computation; Apr2012, Vol. 22 Issue 2, p329-350, 22p