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
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85142933767&origin=inward&txGid=aa703bff0532a11a2db3446f14ca2ddd
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300009
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
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