String diagrammatic trace theory
autor
Earnshaw, Matthew David
Sobocinski, Pawel Maria
vastutusandmed
Matthew Earnshaw, Paweł Sobociński
allikas
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
ilmumiskoht
Dagstuhl
kirjastus/väljaandja
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ilmumisaasta
2023
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
leitav
https://doi.org/10.4230/LIPIcs.MFCS.2023.43
märksõna
stringiteooria
monoidid
automaaditeooria
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85171429494&origin=inward&txGid=f16fcfa7168c0f6d85c6e275ece30436
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
asynchronous automata
Mazurkiewicz traces
symmetric monoidal categories
ISSN
1868-8969
ISBN
978-395977292-1
märkused
Bibliogr.: 32 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise