Rule algebras for adhesive categories
author
Behr, Nicolas
Sobocinski, Pawel Maria
statement of authorship
Nicolas Behr, Paweĺ Soboćinski
source
Logical methods in computer science
publisher
Logical Methods in Computer Science
journal volume number month
vol. 16, 3
year of publication
2020
pages
p. 2:1−2:38
url
https://doi.org/10.23638/LMCS-16(3:2)2020
subject term
algebra
rakendusmehaanika
keyword
adhesive categories
double pushout (DPO) rewriting
rule algebras
stochastic mechanics
ISSN
1860-5974
notes
Bibliogr.: 31 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods