research
∙
01/12/2022
Biochemical Space Language in Relation to Multiset Rewriting Systems
This technical report relates Biochemical Space Language (BCSL) to Multi...
research
∙
08/30/2021
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Edge-coloured directed graphs provide an essential structure for modelli...
research
∙
01/21/2020