Introducing Quantification into a Hierarchical Graph Rewriting Language.

Haruto Mishina, Kazunori Ueda

Browse the full LOPSTR paper archive.