A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting

Marco Comini, Luca Torella. A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting. In Laura Kovács, Temur Kutsia, editors, 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013. Volume 15 of EPiC Series, pages 31-49, EasyChair, 2013. [doi]

@inproceedings{CominiT13a,
  title = {A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting},
  author = {Marco Comini and Luca Torella},
  year = {2013},
  url = {http://www.easychair.org/publications/?page=273388183},
  researchr = {https://researchr.org/publication/CominiT13a},
  cites = {0},
  citedby = {0},
  pages = {31-49},
  booktitle = {5th International Symposium on Symbolic Computation in Software Science, SCSS 2013},
  editor = {Laura Kovács and Temur Kutsia},
  volume = {15},
  series = {EPiC Series},
  publisher = {EasyChair},
}