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