Specifying Graph Languages with Type Graphs
Reference
Andrea Corradini, Barbara König, and Dennis Nolte. Specifying graph languages with type graphs. Journal of Logical and Algebraic Methods in Programming, 104:176–200, 2019.
Suggested BibTeX entry:
@article{CKN19,
author = {Andrea Corradini and Barbara K{\"o}nig and Dennis Nolte},
journal = {Journal of Logical and Algebraic Methods in Programming},
pages = {176--200},
title = {Specifying Graph Languages with Type Graphs},
volume = {104},
year = {2019}
}
