Rule algebras for adhesive categories
Behr, Nicolas
;
Sobocinski, Pawel Maria
Logical methods in computer science
2020
/
p. 2:1−2:38
https://doi.org/10.23638/LMCS-16(3:2)2020
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-85088393358&origin=inward&txGid=5f0349421d4429f6aefba60a4d8d148e
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