Rule algebras for adhesive categories
autor
Behr, Nicolas
Sobocinski, Pawel Maria
vastutusandmed
Nicolas Behr, Paweĺ Soboćinski
allikas
Logical methods in computer science
kirjastus/väljaandja
Logical Methods in Computer Science
ajakirja aastakäik number kuu
vol. 16, 3
ilmumisaasta
2020
leheküljed
p. 2:1−2:38
leitav
https://doi.org/10.23638/LMCS-16(3:2)2020
märksõna
algebra
rakendusmehaanika
võtmesõna
adhesive categories
double pushout (DPO) rewriting
rule algebras
stochastic mechanics
ISSN
1860-5974
märkused
Bibliogr.: 31 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-85088393358&origin=inward&txGid=5f0349421d4429f6aefba60a4d8d148e
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000562627000002
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