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