Concurrent process histories and resource transducers
autor
Nester, Chad Mitchell
vastutusandmed
Chad Nester
allikas
Logical methods in computer science
ajakirja aastakäik number kuu
vol. 19, 1
ilmumisaasta
2023
leheküljed
p. 7:1-7:22 : ill
leitav
https://doi.org/10.46298/LMCS-19(1:7)2023
märksõna
matemaatika
arvutiteadus
loogika
kategooriateooria
matemaatilised teooriad
võtmesõna
Computer Science
Logic in Computer Science
Mathematics
Category Theory
ISSN
1860-5974
märkused
Bibliogr.: 28 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-85147333445&origin=inward&txGid=0a744f0eddab1995132050a08ff1c6c6
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:000924021300002
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor