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