Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
interaction laws (võtmesõna)
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..
Tühista
Kirjeid leitud
3
Vaata veel..
(2/56)
Ekspordi
ekspordi kõik päringu tulemused
(3)
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 kogumikus EST
/
artikkel kogumikus ENG
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
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Interaction laws of monads and comonads
Katsumata, Shin-ya
;
Rivas, Exequiel
;
Uustalu, Tarmo
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany
2020
/
p. 604-618
https://doi.org/10.1145/3373718.3394808
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
3
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sweedler theory of monads
McDermott, Dylan
;
Rivas, Exequiel
;
Uustalu, Tarmo
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
2022
/
p. 428-448
https://doi.org/10.1007/978-3-030-99253-8_22
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
54
1.
interaction laws
2.
conflict-of-laws regulation
3.
conservation laws
4.
constitutive laws
5.
distributive laws
6.
ICT laws
7.
Information and Communication Technologies (ICT) laws
8.
laws
9.
laws of chemistry
10.
laws of physics
11.
power-laws
12.
air-sea interaction
13.
air-water interaction
14.
animal-robot interaction
15.
bursts interaction
16.
DNA-protein interaction
17.
domain interaction
18.
drug–target interaction prediction
19.
electron phonon interaction
20.
fluid–structure interaction
21.
grid interaction
22.
hammer–string interaction
23.
hip-ice interaction
24.
hull superstructure interaction
25.
human computer interaction
26.
human computer interaction (HCI)
27.
human machine interaction
28.
human robot interaction
29.
human-computer interaction
30.
Human-Computer Interaction (HCI)
31.
human-machine interaction
32.
human-robot interaction
33.
human–robot interaction
34.
hydrogen-bonding interaction
35.
ice-structure interaction
36.
interaction
37.
interaction design pattern
38.
interaction methods
39.
interaction patterns
40.
intermolecular interaction energy
41.
microwave interaction
42.
multi-stream interaction machine
43.
nonlinear wave interaction
44.
plant-pathogen interaction
45.
plant-soil interaction
46.
propeller–hull interaction
47.
protein–membrane interaction
48.
ship-ice interaction
49.
Ship-rock interaction
50.
solid-phase-interaction
51.
Van der Waals interlayer interaction
52.
wave interaction
53.
wave-current interaction
54.
wave-current-surge interaction
autor
2
1.
Laws, Mary
2.
Laws, Mary J.
×
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