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
homotopy 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/149)
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
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
Number of records 1, displaying
1 - 1
keyword
149
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.
bicategory theory
11.
catastrophe theory
12.
category theory
13.
chaos theory
14.
coding theory
15.
cognitive theory
16.
commitment theory
17.
communication channels (information theory)
18.
complexity leadership theory
19.
complexity theory
20.
computation theory
21.
computer softwaregraph theory
22.
conservation of resources theory
23.
Consumer Culture Theory
24.
control theory
25.
Cooper-Helmstetter cell cycle theory
26.
cosmology: theory
27.
critical theory of technology
28.
cultural theory of international relations
29.
dark matter theory
30.
decision theory
31.
Dempster-Shafer theory
32.
Demster-Shafer Theory
33.
density functional theory
34.
dependent type theory
35.
design theory
36.
development theory
37.
Digital Government Theory: Development and Application
38.
dispersive theory
39.
domain theory
40.
ecological systems theory
41.
economic theory
42.
end of theory
43.
energetic impact theory
44.
evolutionary theory of policy capacity
45.
Flow theory
46.
formal language theory
47.
fully nonlinear potential theory
48.
game theory
49.
general systems theory
50.
general theory of information transfer
51.
general vibration theory
52.
graph theory
53.
gravitational waves / theory
54.
grounded theory
55.
group theory
56.
group threat theory
57.
higher-order beam theory
58.
History and Theory
59.
housemoney effect prospect theory
60.
iceberg theory of culture
61.
image theory
62.
information theory
63.
innovation theory
64.
institutional theory
65.
intellectual capital theory
66.
interdependence theory
67.
inverse problem theory/applications
68.
inverse problems theory/applications
69.
job search theory
70.
Lawvere theory
71.
layer-wise displacement theory
72.
linear systems theory
73.
maritime investment theory
74.
mechanism design theory
75.
middle-range theory
76.
modern portfolio theory
77.
network theory
78.
nonlinear shallow water theory
79.
nonlinear shallow-water theory
80.
nonlinear strip theory
81.
nonlinear theory
82.
normal torsion theory
83.
number theory
84.
organization theory
85.
organizational theory
86.
peer‐to‐peer theory
87.
perceived customer value theory
88.
phase field theory
89.
picture theory
90.
protection motivation theory
91.
proto-theory of design
92.
punctuated equilibrium theory
93.
rational choice theory
94.
real options theory
95.
realization theory
96.
reduction theory
97.
refined zigzag theory
98.
regulatory focus theory
99.
sampling theory
100.
scapegoat theory
101.
search and matching theory
102.
self-determination theory
103.
self-determination theory of work motivation
104.
set theory
105.
shallow water theory
106.
shallow‐water theory
107.
sign theory
108.
signalling theory
109.
social identity theory
110.
social practice theory
111.
social presence theory
112.
social representation theory
113.
social system theory
114.
social systems theory
115.
sociological curriculum theory
116.
speech-act theory
117.
stakeholder theory
118.
Stakeholder-oriented decision theory
119.
State Theory
120.
stimulus-organism-response theory
121.
stochastic learning theory
122.
strategic narrative theory
123.
strategic narrative theory
124.
Straussian theory model
125.
structuration theory
126.
switching theory
127.
synchronous reference frame theory
128.
system theory
129.
systems theory
130.
the RAT theory
131.
theory
132.
theory and practice of meta-modelling with application in healthcare
133.
theory of accounting
134.
Theory Of Constraints (TOC)
135.
theory of economic development
136.
theory of inventive problem solving (TRIZ)
137.
theory of natural disaster
138.
Theory of paradox
139.
theory of planned behavior
140.
theory of planned behaviour
141.
theory of signs
142.
theory of value
143.
ticked cubical type theory
144.
time-dependent density functional theory (TD-DFT)
145.
type theory
146.
unified theory of acceptance and use of technology
147.
value theory
148.
virtual disc theory
149.
2D+T theory
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT