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