String diagrammatic trace theory
autor
Earnshaw, Matthew
vastutusandmed
Matthew Earnshaw, Paweł Sobociński
allikas
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
ilmumiskoht
Dagstuhl
kirjastus/väljaandja
ilmumisaasta
leheküljed
art. 43, 43 p. : ill
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 272
konverentsi nimetus, aeg
48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, 28 August - 1 September 2023
konverentsi toimumispaik
Bordeaux, France
ISSN
1868-8969
ISBN
978-395977292-1
märkused
Bibliogr.: 32 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
kategooria (üld)
kategooria (alam)
Earnshaw, M., Sobociński, P. String diagrammatic trace theory // 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. art. 43, 43 p. : ill. (Leibniz international proceedings in informatics (LIPIcs) ; 272).