SPO-Rewriting of Constrained Partial Algebras

Michael Löwe. SPO-Rewriting of Constrained Partial Algebras. In Paolo Milazzo, Dániel Varró, Manuel Wimmer, editors, Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers. Volume 9946 of Lecture Notes in Computer Science, pages 129-144, Springer, 2016. [doi]

@inproceedings{Lowe16-4,
  title = {SPO-Rewriting of Constrained Partial Algebras},
  author = {Michael Löwe},
  year = {2016},
  doi = {10.1007/978-3-319-50230-4_10},
  url = {http://dx.doi.org/10.1007/978-3-319-50230-4_10},
  researchr = {https://researchr.org/publication/Lowe16-4},
  cites = {0},
  citedby = {0},
  pages = {129-144},
  booktitle = {Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers},
  editor = {Paolo Milazzo and Dániel Varró and Manuel Wimmer},
  volume = {9946},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-50229-8},
}