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