Finiteness and rational sequences, constructively
vastutusandmed
Tarmo Uustalu and Niccolò Veltri
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 27
ilmumisaasta
leheküljed
art. e13, p. 1-20
ISSN
0956-7968
märkused
Bibliogr. p. 19-20
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
Uustalu, T., Veltri, N. Finiteness and rational sequences, constructively // Journal of functional programming (2017) vol. 27, art. e13, p. 1-20.