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
Liitotsing
Valitud kirjed
0
algebraic theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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
1
Vaata veel..
(1/183)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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 EST
/
artikkel ajakirjas ENG
Flexible presentations of graded monads
Katsumata, Shin-ya
;
McDermott, Dylan
;
Uustalu, Tarmo
;
Wu, Nicolas
Proceedings of the ACM on Programming Languages
2022
/
art. 123, 28 p
https://doi.org/10.1145/3547654
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
183
1.
algebraic theory
2.
algebraic number theory
3.
algebraic analysis
4.
algebraic approach
5.
algebraic approaches
6.
algebraic effects
7.
algebraic fractions
8.
algebraic hyperstructure
9.
algebraic methods
10.
algebraic operations
11.
Algebraic soliton
12.
algebraic theories
13.
algebraic weak factorisation system
14.
algebraic/geometric methods
15.
a coherent theory of proofs
16.
activity theory
17.
adaptive structuration theory (AST)
18.
algorithm design and theory
19.
beam theory
20.
behavioral reasoning theory
21.
bicategory theory
22.
Biot theory
23.
Bond theory
24.
Boolean Algebra Meets Graph-Theory
25.
catastrophe theory
26.
category theory
27.
chaos theory
28.
coding theory
29.
cognitive theory
30.
commitment theory
31.
communication channels (information theory)
32.
Complex systems theory
33.
complexity leadership theory
34.
complexity theory
35.
computation theory
36.
computer softwaregraph theory
37.
conservation of resources theory
38.
Consumer Culture Theory
39.
control theory
40.
Cooper-Helmstetter cell cycle theory
41.
cosmology theory
42.
cosmology: theory
43.
critical theory of technology
44.
cultural theory of international relations
45.
dark matter theory
46.
decision theory
47.
Dempster-Shafer theory
48.
Demster-Shafer Theory
49.
density functional theory
50.
density functional theory (DFT)
51.
dependent type theory
52.
design theory
53.
development theory
54.
Digital Government Theory: Development and Application
55.
dispersive theory
56.
domain theory
57.
ecological systems theory
58.
economic theory
59.
end of theory
60.
energetic impact theory
61.
enriched category theory
62.
Euler Bernoulli beams theory
63.
evolutionary theory of policy capacity
64.
Flow theory
65.
formal category theory
66.
formal language theory
67.
fully nonlinear potential theory
68.
game theory
69.
general systems theory
70.
general theory of information transfer
71.
general vibration theory
72.
graph theory
73.
gravitational waves / theory
74.
grounded theory
75.
group theory
76.
group threat theory
77.
higher-order beam theory
78.
History and Theory
79.
homotopy theory
80.
homotopy type theory
81.
housemoney effect prospect theory
82.
iceberg theory of culture
83.
image theory
84.
information theory
85.
innovation theory
86.
institutional theory
87.
intellectual capital theory
88.
interdependence theory
89.
inverse problem theory/applications
90.
inverse problems theory/applications
91.
job search theory
92.
language theory
93.
Lawvere theory
94.
layer-wise displacement theory
95.
linear systems theory
96.
macro-foundational theory
97.
maritime investment theory
98.
mechanism design theory
99.
meso-foundational theory
100.
micro-foundational theory
101.
middle-range theory
102.
mindlin plate theory
103.
modern portfolio theory
104.
network theory
105.
nonlinear shallow water theory
106.
nonlinear shallow-water theory
107.
nonlinear strip theory
108.
nonlinear theory
109.
normal torsion theory
110.
number theory
111.
organismic integration theory
112.
organization theory
113.
organizational theory
114.
peer‐to‐peer theory
115.
perceived customer value theory
116.
phase field theory
117.
picture theory
118.
protection motivation theory
119.
proto-theory of design
120.
punctuated equilibrium theory
121.
rational choice theory
122.
real options theory
123.
realization theory
124.
reduction theory
125.
refined zigzag theory
126.
regulatory focus theory
127.
sampling theory
128.
scapegoat theory
129.
search and matching theory
130.
self-determination theory
131.
self-determination theory of work motivation
132.
set theory
133.
shallow water theory
134.
shallow‐water theory
135.
sign theory
136.
signalling theory
137.
social exchange theory
138.
social identity theory
139.
social practice theory
140.
social presence theory
141.
social representation theory
142.
social system theory
143.
social systems theory
144.
sociological curriculum theory
145.
S-O-R theory
146.
speech-act theory
147.
stakeholder theory
148.
Stakeholder-oriented decision theory
149.
State Theory
150.
stimulus-organism-response theory
151.
stochastic learning theory
152.
strategic narrative theory
153.
strategic narrative theory
154.
Straussian theory model
155.
structuration theory
156.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
157.
switching theory
158.
synchronous reference frame theory
159.
system theory
160.
systems theory
161.
the RAT theory
162.
theory
163.
theory and practice of meta-modelling with application in healthcare
164.
theory building
165.
theory of accounting
166.
Theory of computation
167.
Theory Of Constraints (TOC)
168.
theory of economic development
169.
theory of inventive problem solving (TRIZ)
170.
theory of natural disaster
171.
Theory of paradox
172.
theory of planned behavior
173.
theory of planned behaviour
174.
theory of signs
175.
theory of value
176.
theory selection
177.
ticked cubical type theory
178.
time-dependent density functional theory (TD-DFT)
179.
type theory
180.
unified theory of acceptance and use of technology
181.
value theory
182.
virtual disc theory
183.
2D+T theory
×
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