Finiteness and rational sequences, constructively
author
Uustalu, Tarmo
Veltri, Niccolo
statement of authorship
Tarmo Uustalu and Niccolò Veltri
source
Journal of functional programming
publisher
Cambridge University Press
journal volume number month
vol. 27
year of publication
2017
pages
art. e13, p. 1-20
url
https://doi.org/10.1017/S0956796817000041
subject term
jadad
ratsionaalarvud
matemaatilised teooriad
tüübiteooria
ISSN
0956-7968
notes
Bibliogr. p. 19-20
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
quartile
Q1
TalTech department
tarkvarateaduse instituut
language
inglise