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