String diagrammatic trace theory
author
Earnshaw, Matthew
statement of authorship
Matthew Earnshaw, Paweł Sobociński
source
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
location of publication
Dagstuhl
year of publication
pages
art. 43, 43 p. : ill
series
Leibniz international proceedings in informatics (LIPIcs) ; 272
conference name, date
48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, 28 August - 1 September 2023
conference location
Bordeaux, France
subject term
kvartiil
category (general)
category (sub)
keyword
ISSN
1868-8969
ISBN
978-395977292-1
notes
Bibliogr.: 32 ref
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
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 fur Informatik GmbH, 2023. art. 43, 43 p. : ill. (Leibniz international proceedings in informatics (LIPIcs) ; 272).