Rewriting Abstract Structures: Materialization Explained ...

Reference

Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, and Arend Rensink. Rewriting abstract structures: Materialization explained categorically. In Proc. of FOSSACS '19, pages 169–188. Springer, 2019. LNCS/ARCoSS 11425.

Suggested BibTeX entry:

@inproceedings{CHKNR19a,
    author = {Andrea Corradini and Tobias Heindel and Barbara K\"{o}nig and Dennis Nolte and Arend Rensink},
    booktitle = {Proc. of FOSSACS '19},
    note = {{LNCS/ARCoSS} 11425},
    pages = {169--188},
    publisher = {Springer},
    title = {Rewriting Abstract Structures: Materialization Explained Categorically},
    year = {2019}
}



Extended versionThis work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group