Regular planar monoidal languages
author
Earnshaw, Matthew David
Sobocinski, Pawel Maria
statement of authorship
Matthew Earnshaw, Paweł Sobociński
source
Journal of logical and algebraic methods in programming
publisher
Elsevier
journal volume number month
vol. 139
year of publication
2024
pages
art. 100963, 20 p. : ill
url
https://doi.org/10.1016/j.jlamp.2024.100963
subject term
piirangute teooria
formaalkeeled
monoidid
stringiteooria
keyword
automata
cartesian restriction categories
formal language theory
monoidal categories
string diagrams
ISSN
2352-2208
notes
Bibliogr.: 40 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
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
TalTech department
tarkvarateaduse instituut
language
inglise