Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
autor
juhendaja
vastutusandmed
Diana-Maria Kessler ; [supervisor: Amar Hadzihasanovic, supervisor: Paweł Sobociński ; Tallinn University of Technology, School of Information Technologies, Department of Software Science]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
307 p. : ill
seeria-sari
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 47/2025
vormimärksõna
ISSN
2585-6898
2585-6901 (PDF)
ISBN
978-9916-80-331-8 (PDF)
978-9916-80-330-1
märkused
Autori publikatsioonide nimekiri leheküljel 9
Bibliogr. lk. 153-157
Kokkuvõte eesti keeles
Kättesaadav ka võrguteavikuna
Autori CV inglise ja eesti keeles, lk. 304-307
Thesis (Ph.D.) : Tallinn University of Technology, 2025
leitav
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
- Data structures for topologically sound higher-dimensional diagram rewriting
- Higher-dimensional subdiagram matching
- Acyclicity conditions on pasting diagrams
- Why quantum state verification cannot be both efficient and secure : a categorical approach
- A Critical Pair Enumeration Algorithm for String Diagram Rewriting
Kessler, D-M. Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid. Tallinn : TalTech Press, 2025. 307 p. : ill. (Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 47/2025).