%0 Conference Paper %1 conf/fossacs/CorradiniHKNR19 %A Corradini, Andrea %A Heindel, Tobias %A König, Barbara %A Nolte, Dennis %A Rensink, Arend %B FoSSaCS %D 2019 %E Bojanczyk, Mikolaj %E Simpson, Alex %I Springer %K dblp %P 169-188 %T Rewriting Abstract Structures: Materialization Explained Categorically. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2019.html#CorradiniHKNR19 %V 11425 %@ 978-3-030-17127-8

@inproceedings{conf/fossacs/CorradiniHKNR19, added-at = {2020-04-04T00:00:00.000+0200}, author = {Corradini, Andrea and Heindel, Tobias and König, Barbara and Nolte, Dennis and Rensink, Arend}, biburl = {https://www.bibsonomy.org/bibtex/2528aab15d8940c1e07844ef25c4fc5bc/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2019}, editor = {Bojanczyk, Mikolaj and Simpson, Alex}, ee = {https://doi.org/10.1007/978-3-030-17127-8_10}, interhash = {7f898f975fe5b4f13b93e8dac4e6d6e5}, intrahash = {528aab15d8940c1e07844ef25c4fc5bc}, isbn = {978-3-030-17127-8}, keywords = {dblp}, pages = {169-188}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-04-07T11:43:46.000+0200}, title = {Rewriting Abstract Structures: Materialization Explained Categorically.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2019.html#CorradiniHKNR19}, volume = 11425, year = 2019 }