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
homotopy 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
1
Look more..
(1/167)
Export
export all inquiry results
(1)
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
Higher-dimensional subdiagram matching
Hadzihasanovic, Amar
;
Kessler, Diana-Maria
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
13 p
https://doi.org/10.1109/LICS56636.2023.10175726
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
Number of records 1, displaying
1 - 1
keyword
167
1.
homotopy theory
2.
homotopy type theory
3.
a coherent theory of proofs
4.
activity theory
5.
adaptive structuration theory (AST)
6.
algebraic number theory
7.
algebraic theory
8.
algorithm design and theory
9.
beam theory
10.
behavioral reasoning theory
11.
bicategory theory
12.
Bond theory
13.
Boolean Algebra Meets Graph-Theory
14.
catastrophe theory
15.
category theory
16.
chaos theory
17.
coding theory
18.
cognitive theory
19.
commitment theory
20.
communication channels (information theory)
21.
Complex systems theory
22.
complexity leadership theory
23.
complexity theory
24.
computation theory
25.
computer softwaregraph theory
26.
conservation of resources theory
27.
Consumer Culture Theory
28.
control theory
29.
Cooper-Helmstetter cell cycle theory
30.
cosmology: theory
31.
critical theory of technology
32.
cultural theory of international relations
33.
dark matter theory
34.
decision theory
35.
Dempster-Shafer theory
36.
Demster-Shafer Theory
37.
density functional theory
38.
density functional theory (DFT)
39.
dependent type theory
40.
design theory
41.
development theory
42.
Digital Government Theory: Development and Application
43.
dispersive theory
44.
domain theory
45.
ecological systems theory
46.
economic theory
47.
end of theory
48.
energetic impact theory
49.
enriched category theory
50.
Euler Bernoulli beams theory
51.
evolutionary theory of policy capacity
52.
Flow theory
53.
formal category theory
54.
formal language theory
55.
fully nonlinear potential theory
56.
game theory
57.
general systems theory
58.
general theory of information transfer
59.
general vibration theory
60.
graph theory
61.
gravitational waves / theory
62.
grounded theory
63.
group theory
64.
group threat theory
65.
higher-order beam theory
66.
History and Theory
67.
housemoney effect prospect theory
68.
iceberg theory of culture
69.
image theory
70.
information theory
71.
innovation theory
72.
institutional theory
73.
intellectual capital theory
74.
interdependence theory
75.
inverse problem theory/applications
76.
inverse problems theory/applications
77.
job search theory
78.
language theory
79.
Lawvere theory
80.
layer-wise displacement theory
81.
linear systems theory
82.
macro-foundational theory
83.
maritime investment theory
84.
mechanism design theory
85.
meso-foundational theory
86.
micro-foundational theory
87.
middle-range theory
88.
modern portfolio theory
89.
network theory
90.
nonlinear shallow water theory
91.
nonlinear shallow-water theory
92.
nonlinear strip theory
93.
nonlinear theory
94.
normal torsion theory
95.
number theory
96.
organization theory
97.
organizational theory
98.
peer‐to‐peer theory
99.
perceived customer value theory
100.
phase field theory
101.
picture theory
102.
protection motivation theory
103.
proto-theory of design
104.
punctuated equilibrium theory
105.
rational choice theory
106.
real options theory
107.
realization theory
108.
reduction theory
109.
refined zigzag theory
110.
regulatory focus theory
111.
sampling theory
112.
scapegoat theory
113.
search and matching theory
114.
self-determination theory
115.
self-determination theory of work motivation
116.
set theory
117.
shallow water theory
118.
shallow‐water theory
119.
sign theory
120.
signalling theory
121.
social exchange theory
122.
social identity theory
123.
social practice theory
124.
social presence theory
125.
social representation theory
126.
social system theory
127.
social systems theory
128.
sociological curriculum theory
129.
S-O-R theory
130.
speech-act theory
131.
stakeholder theory
132.
Stakeholder-oriented decision theory
133.
State Theory
134.
stimulus-organism-response theory
135.
stochastic learning theory
136.
strategic narrative theory
137.
strategic narrative theory
138.
Straussian theory model
139.
structuration theory
140.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
141.
switching theory
142.
synchronous reference frame theory
143.
system theory
144.
systems theory
145.
the RAT theory
146.
theory
147.
theory and practice of meta-modelling with application in healthcare
148.
theory building
149.
theory of accounting
150.
Theory of computation
151.
Theory Of Constraints (TOC)
152.
theory of economic development
153.
theory of inventive problem solving (TRIZ)
154.
theory of natural disaster
155.
Theory of paradox
156.
theory of planned behavior
157.
theory of planned behaviour
158.
theory of signs
159.
theory of value
160.
theory selection
161.
ticked cubical type theory
162.
time-dependent density functional theory (TD-DFT)
163.
type theory
164.
unified theory of acceptance and use of technology
165.
value theory
166.
virtual disc theory
167.
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