On streams that are finitely red
autor
Bezem, Marc
Nakata, Keiko
Uustalu, Tarmo
vastutusandmed
Marc Bezem, Keiko Nakata and Tarmo Uustalu
allikas
Logical methods in computer science
ajakirja aastakäik number kuu
Vol. 8, 4:4
ilmumisaasta
2012
leheküljed
p. 1-20
leitav
https://www.researchgate.net/publication/231582269_On_streams_that_are_finitely_red
märksõna
konstruktiivne matemaatika
tüübiteooria
lähendamine
ISSN
1860-5974
märkused
Bibliogr.: 6 ref
keel
inglise