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..
(2/94)
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
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
93
1.
call-by-value
2.
call-by-push value
3.
call
4.
call detail records
5.
call-by-name
6.
CALL-technology
7.
computer-assisted language learning (CALL)
8.
added value
9.
advertising value
10.
assessment of calorific value and moisture content
11.
boundary value problem
12.
boundary value problems
13.
calorific value
14.
charter value
15.
cocreated brand value
16.
conditional value at risk (CVaR)
17.
consumer digital cocreated value
18.
Consumer-perceived value (CPV)
19.
course-of-value function
20.
cultural value
21.
customer engagement value
22.
customer value
23.
design value
24.
Ducoffe’s advertisement value model
25.
European added value
26.
E-value
27.
extreme value distribution
28.
extreme value distributions
29.
extreme value statistics
30.
generalised extreme value distribution
31.
global value chain
32.
gross calorific value
33.
heating value
34.
information value
35.
Islamic public value
36.
market value added
37.
milieu value
38.
moisture buffer value
39.
net present value
40.
Net Present Value (NPV)
41.
non-market value
42.
non-use value
43.
oil shale value chain
44.
open value network
45.
perceived customer value theory
46.
portrait value questionnaire
47.
price and value of housing
48.
public value
49.
public value sphere
50.
recreation value
51.
sampled measure value
52.
service value
53.
services value chain collaboration
54.
shareholder value
55.
social value
56.
zero value
57.
the co-creation of value
58.
theory of value
59.
Utilitarian/hedonic/social value
60.
value
61.
value activity cycle
62.
value added
63.
value adding REE chain
64.
value alignment
65.
value as a commons
66.
value at risk
67.
value centric design
68.
value chain
69.
value cocreation
70.
value co-creation
71.
value creation
72.
value dissipation
73.
value distribution
74.
value network analysis
75.
value of ecosystem services
76.
value of learning
77.
value of lost load
78.
value propositions
79.
value settings
80.
value steam mapping
81.
value stream mapping
82.
value system
83.
value systems
84.
value theory
85.
value-added activities (VA)
86.
value-added bioproducts
87.
value-added intellectual coefficient
88.
value-added tax
89.
value-centric business
90.
value-centric design
91.
value-centric model
92.
value-in-experience
93.
value-system
autor
1
1.
European Added Value Unit
×
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