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
Abel, Andreas (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..
Tühista
Kirjeid leitud
2
Vaata veel..
(4/91)
Ekspordi
ekspordi kõik päringu tulemused
(2)
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
Iteration and coiteration schemes for higher-order and nested datatypes
Abel, Andreas
;
Matthes, Ralph
;
Uustalu, Tarmo
Theoretical computer science
2005
/
1/2, p. 3-66
https://www.sciencedirect.com/science/article/pii/S0304397504007078
artikkel ajakirjas
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types
Abel, Andreas
;
Chapman, James
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
p. 51-67
https://doi.org/10.4204/EPTCS.153.4
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 2, kuvan
1 - 2
autor
66
1.
Abel, Andreas
2.
Abel, E.
3.
Abel, Enno
4.
Abel, Helene
5.
Abel, J.
6.
Abel, K.
7.
Abel, Kristiina
8.
Abel, Maarja
9.
Abel, Mart
10.
Abel, Mati
11.
Abel, Mihkel
12.
Garcia-Pino, Abel
13.
Magyari, Abel
14.
Polese, Abel
15.
Sepulveda Luque, Abel
16.
Aakeroy, Paul Andreas
17.
Alexander, Andreas
18.
Andreas, Lale
19.
Armstorfer, Andreas
20.
Barth, Andreas
21.
Becker, Andreas
22.
Bøe, Andreas Sæter
23.
Echtermeyer, Andreas T.
24.
Eller, Neeme-Andreas
25.
Endl, Andreas
26.
Engfeldt, Andreas
27.
Finkenzeller, Andreas
28.
Freytag, Andreas
29.
Furchner, Andreas
30.
Giannakis, Andreas
31.
Heise, Andreas
32.
Hendricks, Andreas
33.
Hodson, Andreas J.
34.
Hunkeler, Andreas
35.
Ioannides, Andreas A.
36.
Jakobsson, Andreas
37.
Kronbichler, Andreas
38.
Kääb, Andreas
39.
Kyritsakis, Andreas
40.
Lehmann, Andreas
41.
Linden, Andreas
42.
Lund, Andreas
43.
Lümkemann, Andreas
44.
Otsmaa, Andreas H.
45.
Porman, Andreas
46.
Preisler, Andreas
47.
Põdra, Alois Andreas
48.
Põlder, Andreas
49.
Raukas, Andreas
50.
Reigl, Nicolas Andreas
51.
Rogge, Andreas
52.
Roos, Andreas
53.
Saluste, Andreas
54.
Schunk, Andreas
55.
Schönecker, Andreas
56.
Sepp, Andreas
57.
Sisask, Andreas
58.
Steininger, Andreas
59.
Treu, Andreas
60.
Valdmann, Andreas
61.
Ventsel, Andreas
62.
Wimmer, Andreas
63.
Woerner, Andreas
64.
Vogel, Andreas
65.
Voigt, Andreas
66.
Voloudakis, Andreas
CV
13
1.
Abel, Mati
2.
Ivarola, Leonardo Abel
3.
Luque, Abel
4.
Polese, Abel
5.
Sepulveda Luque, Abel
6.
Sepúlveda Luque, Abel
7.
Sepúlveda, Abel
8.
Alexander, Andreas
9.
Armstorfer, Andreas
10.
Armstorfer, Andreas Christian
11.
Grauen, Andreas
12.
Põdra, Alois Andreas
13.
Reigl, Nicolas Andreas
tema kohta
11
1.
Abel, Enno, 1935-
2.
Abel, Mati
3.
Polese, Abel, 1976-
4.
Sepulveda Luque, Abel
5.
Armstofer, Andreas
6.
Feuerbach, Ludwig Andreas, 1804-1872
7.
Furchner, Andreas
8.
Jürimäe, Andreas
9.
Nagel Andreas
10.
Piibemann, Andreas
11.
Põdra, Alois Andreas
võtmesõna
1
1.
Abel type integral equations
×
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