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