Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting by Alimujiang Yasen, Kazunori Ueda

“…However, the concept of graph types for hypergraphs has not been studied in sufficient detail, and our recent work revealed that the encoding of a unification algorithm modulo <inline-formula> <tex-math notation="LaTeX">$\alpha $ </tex-math></inline-formula>-equivalence requires further evolution of graph types. …”
Get full text