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/191)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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 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
191
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 and systems theory
40.
control theory
41.
Cooper-Helmstetter cell cycle theory
42.
cosmology theory
43.
cosmology: theory
44.
critical theory of technology
45.
cultural theory of international relations
46.
dark matter theory
47.
decision theory
48.
Dempster-Shafer theory
49.
Demster-Shafer Theory
50.
density functional theory
51.
density functional theory (DFT)
52.
dependent type theory
53.
design theory
54.
Dezert–Smarandache theory
55.
development theory
56.
Digital Government Theory: Development and Application
57.
dispersive theory
58.
domain theory
59.
dual-process theory
60.
Dynamic capability theory
61.
dynamic social impact theory (DSIT)
62.
ecological systems theory
63.
economic theory
64.
end of theory
65.
energetic impact theory
66.
engaged theory
67.
enriched category theory
68.
Euler Bernoulli beams theory
69.
evolutionary theory of policy capacity
70.
Flow theory
71.
formal category theory
72.
formal language theory
73.
fully nonlinear potential theory
74.
game theory
75.
general systems theory
76.
general theory of information transfer
77.
general vibration theory
78.
graph theory
79.
gravitational waves / theory
80.
grounded theory
81.
group theory
82.
group threat theory
83.
higher-order beam theory
84.
History and Theory
85.
homotopy theory
86.
homotopy type theory
87.
housemoney effect prospect theory
88.
iceberg theory of culture
89.
image theory
90.
information theory
91.
innovation theory
92.
institutional theory
93.
intellectual capital theory
94.
interdependence theory
95.
inverse problem theory/applications
96.
inverse problems theory/applications
97.
job search theory
98.
language theory
99.
Lawvere theory
100.
layer-wise displacement theory
101.
linear systems theory
102.
macro-foundational theory
103.
maritime investment theory
104.
mechanism design theory
105.
meso-foundational theory
106.
micro-foundational theory
107.
middle-range theory
108.
mindlin plate theory
109.
modern portfolio theory
110.
network theory
111.
nonlinear shallow water theory
112.
nonlinear shallow-water theory
113.
nonlinear strip theory
114.
nonlinear theory
115.
normal torsion theory
116.
number theory
117.
organismic integration theory
118.
organization theory
119.
organizational theory
120.
peer‐to‐peer theory
121.
perceived customer value theory
122.
phase field theory
123.
picture theory
124.
protection motivation theory
125.
proto-theory of design
126.
public administration theory
127.
punctuated equilibrium theory
128.
quantum theory
129.
rational choice theory
130.
real options theory
131.
realization theory
132.
reduction theory
133.
refined zigzag theory
134.
regulatory focus theory
135.
sampling theory
136.
scapegoat theory
137.
search and matching theory
138.
self-determination theory
139.
self-determination theory of work motivation
140.
set theory
141.
shallow water theory
142.
shallow‐water theory
143.
sign theory
144.
signalling theory
145.
social exchange theory
146.
social identity theory
147.
social practice theory
148.
social presence theory
149.
social representation theory
150.
social system theory
151.
social systems theory
152.
sociological curriculum theory
153.
S-O-R theory
154.
speech-act theory
155.
stakeholder theory
156.
Stakeholder-oriented decision theory
157.
State Theory
158.
stimulus-organism-response theory
159.
stochastic learning theory
160.
strategic narrative theory
161.
strategic narrative theory
162.
Straussian theory model
163.
structuration theory
164.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
165.
switching theory
166.
synchronous reference frame theory
167.
system theory
168.
systems theory
169.
the RAT theory
170.
theory
171.
theory and practice of meta-modelling with application in healthcare
172.
theory building
173.
theory of accounting
174.
Theory of computation
175.
Theory Of Constraints (TOC)
176.
theory of economic development
177.
theory of inventive problem solving (TRIZ)
178.
theory of natural disaster
179.
Theory of paradox
180.
theory of planned behavior
181.
theory of planned behaviour
182.
theory of signs
183.
theory of value
184.
theory selection
185.
ticked cubical type theory
186.
time-dependent density functional theory (TD-DFT)
187.
type theory
188.
unified theory of acceptance and use of technology
189.
value theory
190.
virtual disc theory
191.
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