prindi

Higher-dimensional subdiagram matching

autor
Hadzihasanovic, Amar
Kessler, Diana
vastutusandmed
Amar Hadzihasanovic, Diana Kessler
allikas
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
ilmumiskoht
Piscataway, NJ
kirjastus/väljaandja
IEEE
ilmumisaasta
2023
leheküljed
13 p.
konverentsi nimetus, aeg
38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, 26-29 June 2023
konverentsi toimumispaik
Boston
leitav
https://doi.org/10.1109/LICS56636.2023.10175726
märksõna
kõrgem matemaatika
diagrammid
homotoopiateooria
kategooriateooria
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q1
kategooria (üld)
Matemaatika
Arvutiteadus
kategooria (alam)
Matemaatika. Üldmatemaatika
Arvutiteadus. Tarkvara
võtmesõna
category theory
cell complexes
computational mathematics
high-dimensional
homotopy theory
ISSN
1043-6871
ISBN
979-835033587-3
märkused
Bibliogr.: 17 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Hadzihasanovic, A., Kessler, D. Higher-dimensional subdiagram matching // 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023. Piscataway, NJ : IEEE, 2023. 13 p.. https://doi.org/10.1109/LICS56636.2023.10175726