Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
homotopy theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/167)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
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
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT