Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
computation theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/195)
Export
export all inquiry results
(2)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article 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
book article EST
/
book article ENG
2
book article EST
/
book article ENG
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
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
book article EST
/
book article ENG
Number of records 2, displaying
1 - 2
keyword
195
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.
action theory
20.
activity theory
21.
adaptive structuration theory (AST)
22.
algebraic number theory
23.
algebraic theory
24.
algorithm design and theory
25.
beam theory
26.
behavioral reasoning theory
27.
bicategory theory
28.
Biot theory
29.
Bond theory
30.
Boolean Algebra Meets Graph-Theory
31.
catastrophe theory
32.
category theory
33.
chaos theory
34.
coding theory
35.
cognitive theory
36.
commitment theory
37.
communication channels (information theory)
38.
Complex systems theory
39.
complexity leadership theory
40.
complexity theory
41.
computer softwaregraph theory
42.
conservation of resources theory
43.
consumer culture theory
44.
control and systems theory
45.
control theory
46.
Cooper-Helmstetter cell cycle theory
47.
cosmology theory
48.
cosmology: theory
49.
critical theory of technology
50.
cultural theory of international relations
51.
dark matter theory
52.
decision theory
53.
Dempster-Shafer theory
54.
Demster-Shafer Theory
55.
density functional theory
56.
density functional theory (DFT)
57.
dependent type theory
58.
design theory
59.
Dezert–Smarandache theory
60.
development theory
61.
Digital Government Theory: Development and Application
62.
dispersive theory
63.
domain theory
64.
dual-process theory
65.
Dynamic capability theory
66.
dynamic social impact theory (DSIT)
67.
ecological systems theory
68.
economic theory
69.
end of theory
70.
energetic impact theory
71.
engaged theory
72.
enriched category theory
73.
Euler Bernoulli beams theory
74.
evolutionary theory of policy capacity
75.
Flow theory
76.
formal category theory
77.
formal language theory
78.
fully nonlinear potential theory
79.
game theory
80.
general systems theory
81.
general theory of information transfer
82.
general vibration theory
83.
graph theory
84.
gravitational waves / theory
85.
grounded theory
86.
group theory
87.
group threat theory
88.
higher-order beam theory
89.
History and Theory
90.
homotopy theory
91.
homotopy type theory
92.
housemoney effect prospect theory
93.
iceberg theory of culture
94.
image theory
95.
information theory
96.
innovation theory
97.
institutional theory
98.
intellectual capital theory
99.
interdependence theory
100.
inverse problem theory/applications
101.
inverse problems theory/applications
102.
job search theory
103.
language theory
104.
Lawvere theory
105.
layer-wise displacement theory
106.
linear systems theory
107.
macro-foundational theory
108.
maritime investment theory
109.
mechanism design theory
110.
meso-foundational theory
111.
micro-foundational theory
112.
middle-range theory
113.
mindlin plate theory
114.
modern portfolio theory
115.
network theory
116.
nonlinear shallow water theory
117.
nonlinear shallow-water theory
118.
nonlinear strip theory
119.
nonlinear theory
120.
normal torsion theory
121.
number theory
122.
organismic integration theory
123.
organization theory
124.
organizational theory
125.
peer‐to‐peer theory
126.
perceived customer value theory
127.
phase field theory
128.
picture theory
129.
protection motivation theory
130.
proto-theory of design
131.
public administration theory
132.
punctuated equilibrium theory
133.
quantum theory
134.
rational choice theory
135.
real options theory
136.
realization theory
137.
reduction theory
138.
refined zigzag theory
139.
regulatory focus theory
140.
sampling theory
141.
scapegoat theory
142.
search and matching theory
143.
self-determination theory
144.
self-determination theory of work motivation
145.
set theory
146.
shallow water theory
147.
shallow‐water theory
148.
sign theory
149.
signalling theory
150.
social exchange theory
151.
social identity theory
152.
social practice theory
153.
social presence theory
154.
social representation theory
155.
social system theory
156.
social systems theory
157.
sociological curriculum theory
158.
S-O-R theory
159.
speech-act theory
160.
stakeholder theory
161.
Stakeholder-oriented decision theory
162.
State Theory
163.
stimulus-organism-response theory
164.
stochastic learning theory
165.
strategic narrative theory
166.
strategic narrative theory
167.
Straussian theory model
168.
structuration theory
169.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
170.
switching theory
171.
synchronous reference frame theory
172.
system theory
173.
systems theory
174.
the RAT theory
175.
theory
176.
theory and practice of meta-modelling with application in healthcare
177.
theory building
178.
theory of accounting
179.
Theory Of Constraints (TOC)
180.
theory of economic development
181.
theory of inventive problem solving (TRIZ)
182.
theory of natural disaster
183.
Theory of paradox
184.
theory of planned behavior
185.
theory of planned behaviour
186.
theory of signs
187.
theory of value
188.
theory selection
189.
ticked cubical type theory
190.
time-dependent density functional theory (TD-DFT)
191.
type theory
192.
unified theory of acceptance and use of technology
193.
value theory
194.
virtual disc theory
195.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT