Otsing - TalTech teadusportaal

A direct version of Veldman's proof of open induction on cantor space via delimited control operators (pealkiri)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

ekspordi kõik päringu tulemused (1)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

A direct version of Veldman's proof of open induction on cantor space via delimited control operatorsIlik, Danko; Nakata, Keiko19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 188-201 https://doi.org/10.4230/LIPIcs.TYPES.2013.188 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Kirjeid leitud 1, kuvan 1 - 1