Rewriting Abstract Structures: Materialization Explained Categorically.
Andrea Corradini, Tobias Heindel, Barbara Knig, Dennis Nolte, Arend Rensink
Browse the full FOSSACS paper archive.
Andrea Corradini, Tobias Heindel, Barbara Knig, Dennis Nolte, Arend Rensink
Browse the full FOSSACS paper archive.