Situated transition systems
autor
Nester, Chad Mitchell
vastutusandmed
Chad Nester
allikas
arXiv
ilmumiskoht
New York
kirjastus/väljaandja
Cornell University
ilmumisaasta
2022
leheküljed
p. 103-115
seeria-sari
Electronic proceedings in theoretical computer science, EPTCS ; 372
konverentsi nimetus, aeg
4th International Conference on Applied Category Theory, ACT 2021, 12-16 July 2022
konverentsi toimumispaik
Cambridge
leitav
https://doi.org/10.4204/EPTCS.372.8
märksõna
kategooriad (matemaatika)
monoidid
parameetrid
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q3
kategooria (üld)
Computer science
en
Arvutiteadus
et
kategooria (alam)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
vormimärksõna
preprindid
võtmesõna
closed category
monoidal categories
open transitions
paranetrized
symmetrics
transition system
ISSN
2075-2180
märkused
Bibliogr.: 22 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