Rewriting Abstract Structures: Materialization Explained ...

Reference

Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, and Arend Rensink. Rewriting abstract structures: Materialization explained categorically, 2019. arXiv:1902.04809.

Suggested BibTeX entry:

@misc{CHKNR19b,
    author = {Andrea Corradini and Tobias Heindel and Barbara K\"onig and Dennis Nolte and Arend Rensink},
    note = {arXiv:1902.04809},
    title = {Rewriting Abstract Structures: Materialization Explained Categorically},
    year = {2019}
}



See arxiv.org ...Conference version
© University of Duisburg-Essen, Theoretical Computer Science group