Finiteness and rational sequences, constructively
autor
Uustalu, Tarmo
Veltri, Niccolo
vastutusandmed
Tarmo Uustalu and Niccolò Veltri
allikas
Journal of functional programming
kirjastus/väljaandja
Cambridge University Press
ajakirja aastakäik number kuu
vol. 27
ilmumisaasta
2017
leheküljed
art. e13, p. 1-20
leitav
https://doi.org/10.1017/S0956796817000041
märksõna
jadad
ratsionaalarvud
matemaatilised teooriad
tüübiteooria
ISSN
0956-7968
märkused
Bibliogr. p. 19-20
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/28345
https://www.scopus.com/record/display.uri?eid=2-s2.0-85017172351&origin=inward&txGid=c0358c76d228c5ce9f1f2687aa9a8303
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20FUNCT%20PROGRAM&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:000398525100001
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
kvartiil
Q1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise