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
algebraic theory (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
1
Vaata veel..
(1/162)
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
162
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/geometric methods
14.
a coherent theory of proofs
15.
activity theory
16.
adaptive structuration theory (AST)
17.
algorithm design and theory
18.
beam theory
19.
bicategory theory
20.
catastrophe theory
21.
category theory
22.
chaos theory
23.
coding theory
24.
cognitive theory
25.
commitment theory
26.
communication channels (information theory)
27.
complexity leadership theory
28.
complexity theory
29.
computation theory
30.
computer softwaregraph theory
31.
conservation of resources theory
32.
Consumer Culture Theory
33.
control theory
34.
Cooper-Helmstetter cell cycle theory
35.
cosmology: theory
36.
critical theory of technology
37.
cultural theory of international relations
38.
dark matter theory
39.
decision theory
40.
Dempster-Shafer theory
41.
Demster-Shafer Theory
42.
density functional theory
43.
density functional theory (DFT)
44.
dependent type theory
45.
design theory
46.
development theory
47.
Digital Government Theory: Development and Application
48.
dispersive theory
49.
domain theory
50.
ecological systems theory
51.
economic theory
52.
end of theory
53.
energetic impact theory
54.
evolutionary theory of policy capacity
55.
Flow theory
56.
formal language theory
57.
fully nonlinear potential theory
58.
game theory
59.
general systems theory
60.
general theory of information transfer
61.
general vibration theory
62.
graph theory
63.
gravitational waves / theory
64.
grounded theory
65.
group theory
66.
group threat theory
67.
higher-order beam theory
68.
History and Theory
69.
homotopy theory
70.
homotopy type theory
71.
housemoney effect prospect theory
72.
iceberg theory of culture
73.
image theory
74.
information theory
75.
innovation theory
76.
institutional theory
77.
intellectual capital theory
78.
interdependence theory
79.
inverse problem theory/applications
80.
inverse problems theory/applications
81.
job search theory
82.
Lawvere theory
83.
layer-wise displacement theory
84.
linear systems theory
85.
maritime investment theory
86.
mechanism design theory
87.
middle-range theory
88.
modern portfolio theory
89.
network theory
90.
nonlinear shallow water theory
91.
nonlinear shallow-water theory
92.
nonlinear strip theory
93.
nonlinear theory
94.
normal torsion theory
95.
number theory
96.
organization theory
97.
organizational theory
98.
peer‐to‐peer theory
99.
perceived customer value theory
100.
phase field theory
101.
picture theory
102.
protection motivation theory
103.
proto-theory of design
104.
punctuated equilibrium theory
105.
rational choice theory
106.
real options theory
107.
realization theory
108.
reduction theory
109.
refined zigzag theory
110.
regulatory focus theory
111.
sampling theory
112.
scapegoat theory
113.
search and matching theory
114.
self-determination theory
115.
self-determination theory of work motivation
116.
set theory
117.
shallow water theory
118.
shallow‐water theory
119.
sign theory
120.
signalling theory
121.
social identity theory
122.
social practice theory
123.
social presence theory
124.
social representation theory
125.
social system theory
126.
social systems theory
127.
sociological curriculum theory
128.
speech-act theory
129.
stakeholder theory
130.
Stakeholder-oriented decision theory
131.
State Theory
132.
stimulus-organism-response theory
133.
stochastic learning theory
134.
strategic narrative theory
135.
strategic narrative theory
136.
Straussian theory model
137.
structuration theory
138.
switching theory
139.
synchronous reference frame theory
140.
system theory
141.
systems theory
142.
the RAT theory
143.
theory
144.
theory and practice of meta-modelling with application in healthcare
145.
theory of accounting
146.
Theory of computation
147.
Theory Of Constraints (TOC)
148.
theory of economic development
149.
theory of inventive problem solving (TRIZ)
150.
theory of natural disaster
151.
Theory of paradox
152.
theory of planned behavior
153.
theory of planned behaviour
154.
theory of signs
155.
theory of value
156.
ticked cubical type theory
157.
time-dependent density functional theory (TD-DFT)
158.
type theory
159.
unified theory of acceptance and use of technology
160.
value theory
161.
virtual disc theory
162.
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