See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Natural deduction for intuitionistic least and greatest fixpoint logics, with an application to program construction

Tarmo Uustalu, doktorikraad, 1998, (juh) Enn Tõugu, Natural deduction for intuitionistic least and greatest fixpoint logics, with an application to program construction, Kungliga Tekniska Högskolan.
Tarmo Uustalu
doktorikraad
Kaitstud
Ei
1998
Inglise
Natural deduction for intuitionistic least and greatest fixpoint logics, with an application to program construction
Kungliga Tekniska Högskolan