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
Advanced search
My bookmarks
0
computation theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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/181)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF 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, 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
book article EST
/
book article ENG
Number of records 2, displaying
1 - 2
keyword
181
1.
computation theory
2.
Theory of computation
3.
computation
4.
computation cost
5.
Computation offloading
6.
computation resource allocation
7.
effectful computation
8.
evolutionary computation
9.
feature space for taxonomy of models of interactive computation
10.
in-sensor computation
11.
Models of computation
12.
multiparty computation
13.
parallel and pipeline computation
14.
reversible computation
15.
stateful logic computation
16.
symbolic computation
17.
a coherent theory of proofs
18.
activity theory
19.
adaptive structuration theory (AST)
20.
algebraic number theory
21.
algebraic theory
22.
algorithm design and theory
23.
beam theory
24.
behavioral reasoning theory
25.
bicategory theory
26.
Bond theory
27.
Boolean Algebra Meets Graph-Theory
28.
catastrophe theory
29.
category theory
30.
chaos theory
31.
coding theory
32.
cognitive theory
33.
commitment theory
34.
communication channels (information theory)
35.
Complex systems theory
36.
complexity leadership theory
37.
complexity theory
38.
computer softwaregraph theory
39.
conservation of resources theory
40.
Consumer Culture Theory
41.
control theory
42.
Cooper-Helmstetter cell cycle theory
43.
cosmology: theory
44.
critical theory of technology
45.
cultural theory of international relations
46.
dark matter theory
47.
decision theory
48.
Dempster-Shafer theory
49.
Demster-Shafer Theory
50.
density functional theory
51.
density functional theory (DFT)
52.
dependent type theory
53.
design theory
54.
development theory
55.
Digital Government Theory: Development and Application
56.
dispersive theory
57.
domain theory
58.
ecological systems theory
59.
economic theory
60.
end of theory
61.
energetic impact theory
62.
enriched category theory
63.
Euler Bernoulli beams theory
64.
evolutionary theory of policy capacity
65.
Flow theory
66.
formal category theory
67.
formal language theory
68.
fully nonlinear potential theory
69.
game theory
70.
general systems theory
71.
general theory of information transfer
72.
general vibration theory
73.
graph theory
74.
gravitational waves / theory
75.
grounded theory
76.
group theory
77.
group threat theory
78.
higher-order beam theory
79.
History and Theory
80.
homotopy theory
81.
homotopy type theory
82.
housemoney effect prospect theory
83.
iceberg theory of culture
84.
image theory
85.
information theory
86.
innovation theory
87.
institutional theory
88.
intellectual capital theory
89.
interdependence theory
90.
inverse problem theory/applications
91.
inverse problems theory/applications
92.
job search theory
93.
language theory
94.
Lawvere theory
95.
layer-wise displacement theory
96.
linear systems theory
97.
macro-foundational theory
98.
maritime investment theory
99.
mechanism design theory
100.
meso-foundational theory
101.
micro-foundational theory
102.
middle-range theory
103.
modern portfolio theory
104.
network theory
105.
nonlinear shallow water theory
106.
nonlinear shallow-water theory
107.
nonlinear strip theory
108.
nonlinear theory
109.
normal torsion theory
110.
number theory
111.
organization theory
112.
organizational theory
113.
peer‐to‐peer theory
114.
perceived customer value theory
115.
phase field theory
116.
picture theory
117.
protection motivation theory
118.
proto-theory of design
119.
punctuated equilibrium theory
120.
rational choice theory
121.
real options theory
122.
realization theory
123.
reduction theory
124.
refined zigzag theory
125.
regulatory focus theory
126.
sampling theory
127.
scapegoat theory
128.
search and matching theory
129.
self-determination theory
130.
self-determination theory of work motivation
131.
set theory
132.
shallow water theory
133.
shallow‐water theory
134.
sign theory
135.
signalling theory
136.
social exchange theory
137.
social identity theory
138.
social practice theory
139.
social presence theory
140.
social representation theory
141.
social system theory
142.
social systems theory
143.
sociological curriculum theory
144.
S-O-R theory
145.
speech-act theory
146.
stakeholder theory
147.
Stakeholder-oriented decision theory
148.
State Theory
149.
stimulus-organism-response theory
150.
stochastic learning theory
151.
strategic narrative theory
152.
strategic narrative theory
153.
Straussian theory model
154.
structuration theory
155.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
156.
switching theory
157.
synchronous reference frame theory
158.
system theory
159.
systems theory
160.
the RAT theory
161.
theory
162.
theory and practice of meta-modelling with application in healthcare
163.
theory building
164.
theory of accounting
165.
Theory Of Constraints (TOC)
166.
theory of economic development
167.
theory of inventive problem solving (TRIZ)
168.
theory of natural disaster
169.
Theory of paradox
170.
theory of planned behavior
171.
theory of planned behaviour
172.
theory of signs
173.
theory of value
174.
theory selection
175.
ticked cubical type theory
176.
time-dependent density functional theory (TD-DFT)
177.
type theory
178.
unified theory of acceptance and use of technology
179.
value theory
180.
virtual disc theory
181.
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