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