Situated transition systems

vastutusandmed
Chad Nester
allikas
ilmumiskoht
New York
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 103-115
konverentsi nimetus, aeg
4th International Conference on Applied Category Theory, ACT 2021, 12-16 July 2022
konverentsi toimumispaik
Cambridge
kvartiil
Q3
kategooria (üld)
kategooria (alam)
vormimärksõna
võtmesõna
closed category
paranetrized
symmetrics
ISSN
2075-2180
märkused
Bibliogr.: 22 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
Nester, C.M. Situated transition systems // arXiv. New York : Cornell University, 2022. p. 103-115. (Electronic proceedings in theoretical computer science, EPTCS ; 372). https://doi.org/10.4204/EPTCS.372.8