DOI10.1016/j.entcs.2008.04.027zbMath1283.68186OpenAlexW2043759451MaRDI QIDQ5404173
Ivan Lanese
Publication date: 21 March 2014 Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.027
zbMATH Keywords
mobilitygraph transformationsynchronization algebrassynchronized hyperedge replacement
Mathematics Subject Classification ID
Hypergraphs (05C65) Grammars and rewriting systems (68Q42)
Cites Work