Quotienting the delay monad by weak bisimilarity
autor
Chapman, James
Uustalu, Tarmo
Veltri, Niccolo
vastutusandmed
James Chapman, Tarmo Uustalu and Niccolo Veltri
allikas
Mathematical structures in computer science
kirjastus/väljaandja
Cambridge University Press
ajakirja aastakäik number kuu
vol. 29, 1
ilmumisaasta
2019
leheküljed
p. 67-92
seeria-sari
Special Issue: Best Papers Presented at ICTAC 2015
leitav
https://doi.org/10.1017/s0960129517000184
märksõna
arvutiteadus
loogiline programmeerimine
ISSN
0960-1295
märkused
Bibliogr. p. 24-26
Published online by Cambridge University Press: 17 October 2017
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/5000157801
https://www.scopus.com/record/display.uri?eid=2-s2.0-85032199059&origin=inward&txGid=c7609f90464ba9350de0d635718adaca
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000451889100004
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Mathematics (miscellaneous)
Matemaatika. Matemaatika (mitmesugused)
Computer science. Computer science applications
Arvutiteadus. Arvutiteaduse rakendused
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium