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
Liitotsing
Valitud kirjed
0
homotopy theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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/175)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT 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
175
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.
Biot theory
13.
Bond theory
14.
Boolean Algebra Meets Graph-Theory
15.
catastrophe theory
16.
category theory
17.
chaos theory
18.
coding theory
19.
cognitive theory
20.
commitment theory
21.
communication channels (information theory)
22.
Complex systems theory
23.
complexity leadership theory
24.
complexity theory
25.
computation theory
26.
computer softwaregraph theory
27.
conservation of resources theory
28.
Consumer Culture Theory
29.
control and systems theory
30.
control theory
31.
Cooper-Helmstetter cell cycle theory
32.
cosmology theory
33.
cosmology: theory
34.
critical theory of technology
35.
cultural theory of international relations
36.
dark matter theory
37.
decision theory
38.
Dempster-Shafer theory
39.
Demster-Shafer Theory
40.
density functional theory
41.
density functional theory (DFT)
42.
dependent type theory
43.
design theory
44.
Dezert–Smarandache theory
45.
development theory
46.
Digital Government Theory: Development and Application
47.
dispersive theory
48.
domain theory
49.
ecological systems theory
50.
economic theory
51.
end of theory
52.
energetic impact theory
53.
engaged theory
54.
enriched category theory
55.
Euler Bernoulli beams theory
56.
evolutionary theory of policy capacity
57.
Flow theory
58.
formal category theory
59.
formal language theory
60.
fully nonlinear potential theory
61.
game theory
62.
general systems theory
63.
general theory of information transfer
64.
general vibration theory
65.
graph theory
66.
gravitational waves / theory
67.
grounded theory
68.
group theory
69.
group threat theory
70.
higher-order beam theory
71.
History and Theory
72.
housemoney effect prospect theory
73.
iceberg theory of culture
74.
image theory
75.
information theory
76.
innovation theory
77.
institutional theory
78.
intellectual capital theory
79.
interdependence theory
80.
inverse problem theory/applications
81.
inverse problems theory/applications
82.
job search theory
83.
language theory
84.
Lawvere theory
85.
layer-wise displacement theory
86.
linear systems theory
87.
macro-foundational theory
88.
maritime investment theory
89.
mechanism design theory
90.
meso-foundational theory
91.
micro-foundational theory
92.
middle-range theory
93.
mindlin plate theory
94.
modern portfolio theory
95.
network theory
96.
nonlinear shallow water theory
97.
nonlinear shallow-water theory
98.
nonlinear strip theory
99.
nonlinear theory
100.
normal torsion theory
101.
number theory
102.
organismic integration theory
103.
organization theory
104.
organizational theory
105.
peer‐to‐peer theory
106.
perceived customer value theory
107.
phase field theory
108.
picture theory
109.
protection motivation theory
110.
proto-theory of design
111.
public administration theory
112.
punctuated equilibrium theory
113.
rational choice theory
114.
real options theory
115.
realization theory
116.
reduction theory
117.
refined zigzag theory
118.
regulatory focus theory
119.
sampling theory
120.
scapegoat theory
121.
search and matching theory
122.
self-determination theory
123.
self-determination theory of work motivation
124.
set theory
125.
shallow water theory
126.
shallow‐water theory
127.
sign theory
128.
signalling theory
129.
social exchange theory
130.
social identity theory
131.
social practice theory
132.
social presence theory
133.
social representation theory
134.
social system theory
135.
social systems theory
136.
sociological curriculum theory
137.
S-O-R theory
138.
speech-act theory
139.
stakeholder theory
140.
Stakeholder-oriented decision theory
141.
State Theory
142.
stimulus-organism-response theory
143.
stochastic learning theory
144.
strategic narrative theory
145.
strategic narrative theory
146.
Straussian theory model
147.
structuration theory
148.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
149.
switching theory
150.
synchronous reference frame theory
151.
system theory
152.
systems theory
153.
the RAT theory
154.
theory
155.
theory and practice of meta-modelling with application in healthcare
156.
theory building
157.
theory of accounting
158.
Theory of computation
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.
theory selection
169.
ticked cubical type theory
170.
time-dependent density functional theory (TD-DFT)
171.
type theory
172.
unified theory of acceptance and use of technology
173.
value theory
174.
virtual disc theory
175.
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