Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Uustalu, Tarmo (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Kirjeid leitud
147
Vaata veel..
(0/0)
Ekspordi
ekspordi kõik päringu tulemused
(147)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
A divertimento on MonadPlus and nondeterminism
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2016
/
p. 1086-1094 : ill
http://dx.doi.org/10.1016/j.jlamp.2016.06.004
artikkel ajakirjas
2
artikkel ajakirjas
A Hoare logic for the coinductive trace-based big-step semantics of While
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-32
http://dx.doi.org/10.2168/LMCS-11(1:1)2015
artikkel ajakirjas
3
artikkel ajakirjas
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
artikkel ajakirjas
4
artikkel kogumikus
A type system with subtyping for Webassembly’s stack polymorphism
McDermott, Dylan
;
Morita, Yasuaki
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 305-323
https://doi.org/10.1007/978-3-031-17715-6_20
artikkel kogumikus
5
artikkel kogumikus
Acyclic attribute evaluation in a dependently typed setting
Firsov, Denis
;
Uustalu, Tarmo
Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)
2016
/
p. 124-126 : ill
http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
artikkel kogumikus
6
raamat
Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lectures
Vene, Varmo
;
Uustalu, Tarmo
2005
https://www.ester.ee/record=b2083926*est
raamat
7
artikkel kogumikus
Algebraic and coalgebraic perspectives on interaction laws
Uustalu, Tarmo
;
Voorneveld, Niels
Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings
2020
/
p. 186-205
https://doi.org/10.1007/978-3-030-64437-6_10
artikkel kogumikus
8
artikkel ajalehes
Alustab arvutiteaduse tippkeskus
Uustalu, Tarmo
Postimees
2008
/
19. aug., Koolituse Extra, lk. 10
https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus
artikkel ajalehes
9
artikkel kogumikus
An Estonian Research Excellence Centre in Gomputer Science : [the Estonian Centre for Dependable Computing]
Uustalu, Tarmo
Estonia : member state of NATO and the EU : international business handbook 2007-2008
2007
/
p. 182-190 : portr
artikkel kogumikus
10
artikkel kogumikus
Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]
Uustalu, Tarmo
Teadusmõte Küberneetika Instituudis
2010
/
lk. 86-90 : portr
artikkel kogumikus
11
artikkel ajakirjas
Arvutamine on loodusteadus : vastab Tarmo Uustalu
Uustalu, Tarmo
Horisont
2006
/
lk. 15-17 : portr
artikkel ajakirjas
12
artikkel kogumikus
Arvutiteadlaste koolid ja seminarid
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2003
2004
/
lk. 302-305
artikkel kogumikus
13
artikkel ajakirjas
Arvutiteadus ja infotehnoloogia Eestis
Uustalu, Tarmo
Eesti aastaraamat 2002-2003
2002
/
lk. 255-259
artikkel ajakirjas
14
artikkel ajalehes
Arvutiteadus uurib ka loodust : [kommenteerib TTÜ teadur Tarmo Uustalu]
Uustalu, Tarmo
;
Laurisaar, Riho
Eesti Päevaleht
2009
/
24. sept., lk. 24
https://epl.delfi.ee/artikkel/51178534/arvutiteadus-uurib-ka-loodust
artikkel ajalehes
15
artikkel ajalehes
Arvutiteadus, suusad ja saun : [3.-5. veebr. Arulas toimunud arvutiteaduse teooriapäevadest, osalejad TTÜ Küberneetika Instituudist, TTÜst, TÜst, mujalt Eestist ja Leicesteri Ülikoolist]
Uustalu, Tarmo
Mente et Manu
2003
/
11. veebr., lk. 1, 2 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
16
artikkel ajakirjas
Arvutiteaduse teooria Rõuges : [10. Eesti arvutiteaduse teooriapäevadel oli esindatud ka TTÜ]
Uustalu, Tarmo
A & A
2007
/
2, lk. 50-51 : fot
artikkel ajakirjas
17
artikkel ajalehes
Arvutiteaduse teooriat Rõuges : [10. Eesti arvutiteaduse teooriapäevadest]
Uustalu, Tarmo
Mente et Manu
2007
/
21. veebr., lk. 2 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
18
artikkel ajalehes
Arvutiteaduse tippkeskus
Uustalu, Tarmo
Eesti Päevaleht
2012
/
Eesti teaduse tippkeskused, lk. 4
artikkel ajalehes
19
artikkel ajakirjas
Arvutiteaduse tippkeskus panustab väliskoostöösse : [intervjuu keskuse juhi Tarmo Uustaluga]
Uustalu, Tarmo
Arvutimaailm
2008
/
9, lk. 12 : portr
artikkel ajakirjas
20
artikkel ajalehes
Arvutiteaduse tippkeskuse EXCS avalöök : [TTÜ 90. aastapäeva raames 18.-19. sept. 2008 toimuvast seminarist]
Uustalu, Tarmo
Mente et Manu
2008
/
12. sept., lk. 2
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
21
artikkel kogumikus
Arvutiteaduslik ekstsellentsus
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2008
2009
/
lk. 15-18
artikkel kogumikus
22
artikkel kogumikus
Boris Tamm ja Eesti infotehnoloogia tulevikusuunad : [kõne mälestuskonverentsil "Boris Tamm haridus- ja teadusjuhina" 22. juunil 2005]
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2005
2006
/
lk. 144-146
artikkel kogumikus
23
artikkel kogumikus
Build, augment and destroy, universally
Ghani, Neil
;
Uustalu, Tarmo
;
Vene, Varmo
Programming Languages and Systems : Second Asian Symposium : APLAS 2004 : Taipei, Taiwan, November 4-6, 2004 : proceedings
2004
/
p. 327-347
artikkel kogumikus
24
artikkel kogumikus
Calling paradigms and the box calculus
Santo, Jose Espırito
;
Pinto, Luis
;
Uustalu, Tarmo
EUTYPES-TYPES 2020 : Abstracts
2020
/
2 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
artikkel kogumikus
25
artikkel kogumikus
Canonical gradings of monads
Breuvart, Flavien
;
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
https://dylanm.org/drafts/canonical-gradings.pdf
artikkel kogumikus
Kirjeid leitud 147, kuvan
1 - 25
eelmine
1
2
3
4
5
6
järgmine
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT