Regular planar monoidal languages
autor
Earnshaw, Matthew David
Sobocinski, Pawel Maria
vastutusandmed
Matthew Earnshaw, Paweł Sobociński
allikas
Journal of logical and algebraic methods in programming
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 139
ilmumisaasta
2024
leheküljed
art. 100963, 20 p. : ill
leitav
https://doi.org/10.1016/j.jlamp.2024.100963
märksõna
piirangute teooria
formaalkeeled
monoidid
stringiteooria
võtmesõna
automata
cartesian restriction categories
formal language theory
monoidal categories
string diagrams
ISSN
2352-2208
märkused
Bibliogr.: 40 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/21100403130
https://www.scopus.com/record/display.uri?eid=2-s2.0-85189029411&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Regular+planar+monoidal+languages%22%29&sessionSearchId=a8f0a943e59e9ac836047baed6d1091c&relpos=0
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:001219761900001
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Logic
Matemaatika. Loogika
Computer science. Computational theory and mathematics
Arvutiteadus. Arvutusteooria ja matemaatika
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer Science. Software
Arvutiteadus. Tarkvara
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise