Regular monoidal languages
autor
Earnshaw, Matthew David
Sobocinski, Pawel Maria
vastutusandmed
Earnshaw, Matthew, Sobociński, Pawel
allikas
Leibniz International Proceedings in Informatics, LIPIcs
ilmumiskoht
Dagstuhl
kirjastus/väljaandja
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ilmumisaasta
2022
leheküljed
p. 44:1-44:14
seeria-sari
Leibniz International Proceedings in Informatics (LIPIcs) ; 241
konverentsi nimetus, aeg
47th International Symposium on Mathematical Foundations of Computer Science, 22. Aug-26. Aug., 2022
konverentsi toimumispaik
Vienna
leitav
https://doi.org/10.4230/LIPIcs.MFCS.2022.44
märksõna
piirangute teooria
formaalkeeled
monoidid
stringiteooria
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85137593461&origin=inward&txGid=a48c4f25a2657cb2d41c28f255b51505
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
cartesian restriction categories
formal language theory
monoidal categories
string diagrams
ISSN
1868-8969
ISBN
978-395977256-3
märkused
Bibliogr.: 18 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor