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
call-by-value (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..
(3/110)
Ekspordi
ekspordi kõik päringu tulemused
(3)
Salvesta TXT 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
Modal embeddings and calling paradigms
Espirito Santo, Jose
;
Pinto, Luis
;
Uustalu, Tarmo
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019
2019
/
art. 18 ; 20 p. : ill
https://doi.org/10.4230/LIPIcs.FSCD.2019.18
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel kogumikus
Modal embeddings and calling paradigms
Santo, José Espírito
;
Pinto, Luís
;
Uustalu, Tarmo
Days in Logic 2022 : Universidade do Algrave, June 30-July 2, 2022
2022
/
20 p
https://drops.dagstuhl.de/opus/volltexte/2019/10525/pdf/LIPIcs-FSCD-2019-18.pdf
https://daysinlogic2022.ualg.pt/wp-content/uploads/2022/06/BookletDiL2022.pdf
artikkel kogumikus
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
108
1.
call-by-value
2.
call-by-push value
3.
call
4.
call data record
5.
call detail records
6.
call for action in molecular life sciences education
7.
call-by-name
8.
CALL-technology
9.
computer-assisted language learning (CALL)
10.
added value
11.
advertising value
12.
areas of cultural and environmental value
13.
assessment of calorific value and moisture content
14.
boundary value problem
15.
boundary value problems
16.
calorific value
17.
CCUS value chain
18.
charter value
19.
cocreated brand value
20.
conditional value at risk (CVaR)
21.
consumer digital cocreated value
22.
Consumer-perceived value (CPV)
23.
course-of-value function
24.
cultural value
25.
customer engagement value
26.
customer value
27.
design value
28.
Ducoffe’s advertisement value model
29.
European added value
30.
E-value
31.
extreme value analysis
32.
extreme value distribution
33.
extreme value distributions
34.
extreme value statistics
35.
firm value
36.
generalised extreme value (GEV)
37.
generalised extreme value distribution
38.
global value chain
39.
global value chains (GVC)
40.
gross calorific value
41.
heating value
42.
information value
43.
innovation value
44.
Islamic public value
45.
market value added
46.
milieu value
47.
moisture buffer value
48.
net present value
49.
Net Present Value (NPV)
50.
non-market value
51.
non-use value
52.
oil shale value chain
53.
open value network
54.
perceived customer value theory
55.
perceived value of an innovation
56.
portrait value questionnaire
57.
price and value of housing
58.
public value
59.
public value sphere
60.
recreation value
61.
sampled measure value
62.
service value
63.
services value chain collaboration
64.
shareholder value
65.
smart service value (SSV)
66.
social value
67.
Stakeholder value
68.
zero value
69.
target value design
70.
the co-creation of value
71.
theory of value
72.
Utilitarian/hedonic/social value
73.
value
74.
value activity cycle
75.
value added
76.
value adding REE chain
77.
value alignment
78.
value as a commons
79.
value at risk
80.
value centric design
81.
value chain
82.
value cocreation
83.
value co-creation
84.
value creation
85.
value dissipation
86.
value distribution
87.
value network analysis
88.
value of ecosystem services
89.
value of learning
90.
value of lost load
91.
value propositions
92.
value set
93.
value settings
94.
value steam mapping
95.
value stream mapping
96.
value system
97.
value systems
98.
value theory
99.
value-added activities (VA)
100.
value-added bioproducts
101.
value-added intellectual coefficient
102.
value-added tax
103.
value-based design
104.
value-centric business
105.
value-centric design
106.
value-centric model
107.
value-in-experience
108.
value-system
autor
1
1.
European Added Value Unit
TTÜ märksõna
1
1.
Islamic Public Value Network
×
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