Variations on Noetherianness
vastutusandmed
Denis Firsov, Tarmo Uustalu, Niccolo Veltri
ilmumiskoht
Sydney
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 76-88 : ill
konverentsi nimetus, aeg
6th Workshop on Mathematically Structured Functional Programming, 8 April, 2016
konverentsi toimumispaik
Eindhoven, The Netherlands
märksõna
WOS
kvartiil
kategooria (üld)
kategooria (alam)
ISSN
2075-2180
märkused
Bibliogr.: 11 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Firsov, D., Uustalu, T., Veltri, N. Variations on Noetherianness // Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016. Sydney : Open Publishing Association, 2016. p. 76-88 : ill. (Electronic proceedings in theoretical computer science ; 207).