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
computation 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
2
Vaata veel..
(1/192)
Ekspordi
ekspordi kõik päringu tulemused
(2)
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 kogumikus EST
/
artikkel kogumikus ENG
Obstructions to compositionality
Puca, Caterina
;
Hadzihasanovic, Amar
;
Genovese, Fabrizio
;
Coecke, Bob
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 226-245
https://doi.org/10.4204/EPTCS.397.14
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolò
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
2015
/
p. 110 - 125
https://doi.org/10.1007/978-3-319-25150-9_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
192
1.
computation theory
2.
Theory of computation
3.
computation
4.
computation cost
5.
computation costs
6.
Computation offloading
7.
computation resource allocation
8.
effectful computation
9.
evolutionary computation
10.
feature space for taxonomy of models of interactive computation
11.
in-sensor computation
12.
Models of computation
13.
multiparty computation
14.
parallel and pipeline computation
15.
reversible computation
16.
stateful logic computation
17.
symbolic computation
18.
a coherent theory of proofs
19.
activity theory
20.
adaptive structuration theory (AST)
21.
algebraic number theory
22.
algebraic theory
23.
algorithm design and theory
24.
beam theory
25.
behavioral reasoning theory
26.
bicategory theory
27.
Biot theory
28.
Bond theory
29.
Boolean Algebra Meets Graph-Theory
30.
catastrophe theory
31.
category theory
32.
chaos theory
33.
coding theory
34.
cognitive theory
35.
commitment theory
36.
communication channels (information theory)
37.
Complex systems theory
38.
complexity leadership theory
39.
complexity theory
40.
computer softwaregraph theory
41.
conservation of resources theory
42.
Consumer Culture Theory
43.
control and systems theory
44.
control theory
45.
Cooper-Helmstetter cell cycle theory
46.
cosmology theory
47.
cosmology: theory
48.
critical theory of technology
49.
cultural theory of international relations
50.
dark matter theory
51.
decision theory
52.
Dempster-Shafer theory
53.
Demster-Shafer Theory
54.
density functional theory
55.
density functional theory (DFT)
56.
dependent type theory
57.
design theory
58.
Dezert–Smarandache theory
59.
development theory
60.
Digital Government Theory: Development and Application
61.
dispersive theory
62.
domain theory
63.
dual-process theory
64.
Dynamic capability theory
65.
ecological systems theory
66.
economic theory
67.
end of theory
68.
energetic impact theory
69.
engaged theory
70.
enriched category theory
71.
Euler Bernoulli beams theory
72.
evolutionary theory of policy capacity
73.
Flow theory
74.
formal category theory
75.
formal language theory
76.
fully nonlinear potential theory
77.
game theory
78.
general systems theory
79.
general theory of information transfer
80.
general vibration theory
81.
graph theory
82.
gravitational waves / theory
83.
grounded theory
84.
group theory
85.
group threat theory
86.
higher-order beam theory
87.
History and Theory
88.
homotopy theory
89.
homotopy type theory
90.
housemoney effect prospect theory
91.
iceberg theory of culture
92.
image theory
93.
information theory
94.
innovation theory
95.
institutional theory
96.
intellectual capital theory
97.
interdependence theory
98.
inverse problem theory/applications
99.
inverse problems theory/applications
100.
job search theory
101.
language theory
102.
Lawvere theory
103.
layer-wise displacement theory
104.
linear systems theory
105.
macro-foundational theory
106.
maritime investment theory
107.
mechanism design theory
108.
meso-foundational theory
109.
micro-foundational theory
110.
middle-range theory
111.
mindlin plate theory
112.
modern portfolio theory
113.
network theory
114.
nonlinear shallow water theory
115.
nonlinear shallow-water theory
116.
nonlinear strip theory
117.
nonlinear theory
118.
normal torsion theory
119.
number theory
120.
organismic integration theory
121.
organization theory
122.
organizational theory
123.
peer‐to‐peer theory
124.
perceived customer value theory
125.
phase field theory
126.
picture theory
127.
protection motivation theory
128.
proto-theory of design
129.
public administration theory
130.
punctuated equilibrium theory
131.
rational choice theory
132.
real options theory
133.
realization theory
134.
reduction theory
135.
refined zigzag theory
136.
regulatory focus theory
137.
sampling theory
138.
scapegoat theory
139.
search and matching theory
140.
self-determination theory
141.
self-determination theory of work motivation
142.
set theory
143.
shallow water theory
144.
shallow‐water theory
145.
sign theory
146.
signalling theory
147.
social exchange theory
148.
social identity theory
149.
social practice theory
150.
social presence theory
151.
social representation theory
152.
social system theory
153.
social systems theory
154.
sociological curriculum theory
155.
S-O-R theory
156.
speech-act theory
157.
stakeholder theory
158.
Stakeholder-oriented decision theory
159.
State Theory
160.
stimulus-organism-response theory
161.
stochastic learning theory
162.
strategic narrative theory
163.
strategic narrative theory
164.
Straussian theory model
165.
structuration theory
166.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
167.
switching theory
168.
synchronous reference frame theory
169.
system theory
170.
systems theory
171.
the RAT theory
172.
theory
173.
theory and practice of meta-modelling with application in healthcare
174.
theory building
175.
theory of accounting
176.
Theory Of Constraints (TOC)
177.
theory of economic development
178.
theory of inventive problem solving (TRIZ)
179.
theory of natural disaster
180.
Theory of paradox
181.
theory of planned behavior
182.
theory of planned behaviour
183.
theory of signs
184.
theory of value
185.
theory selection
186.
ticked cubical type theory
187.
time-dependent density functional theory (TD-DFT)
188.
type theory
189.
unified theory of acceptance and use of technology
190.
value theory
191.
virtual disc theory
192.
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