PhD abstracts

autor
Hutton, Graham
vastutusandmed
Graham Hutton
ajakirja aastakäik number kuu
vol. 25
ilmumisaasta
leheküljed
art. e25, p. 1-18
tema kohta
ISSN
0956-7968
märkused
Artikkel sisaldab dissertatsioonide kokkuvõtteid.
Niccolo Veltri. A type-theoretical study of non-termination, p.17-18
keel
inglise