prindi

Variations on Noetherianness

autor
Firsov, Denis
Uustalu, Tarmo
Veltri, Niccolo
vastutusandmed
Denis Firsov, Tarmo Uustalu, Niccolo Veltri
allikas
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
ilmumiskoht
Sydney
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2016
leheküljed
p. 76-88 : ill
seeria-sari
Electronic proceedings in theoretical computer science ; 207
konverentsi nimetus, aeg
6th Workshop on Mathematically Structured Functional Programming, 8 April, 2016
konverentsi toimumispaik
Eindhoven, The Netherlands
leitav
http://doi.org/10.4204/eptcs.207.4
märksõna
programmeerimiskeeled
programmeerimine
ISSN
2075-2180
märkused
Bibliogr.: 11 ref
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
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). http://doi.org/10.4204/eptcs.207.4