Variations on Noetherianness
statement of authorship
Denis Firsov, Tarmo Uustalu, Niccolo Veltri
location of publication
Sydney
publisher
year of publication
pages
p. 76-88 : ill
conference name, date
6th Workshop on Mathematically Structured Functional Programming, 8 April, 2016
conference location
Eindhoven, The Netherlands
subject term
ISSN
2075-2180
notes
Bibliogr.: 11 ref
TTÜ department
language
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).