Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1012-5560,
  author       = {Maribel Fern{\'{a}}ndez and
                  Olivier Namet},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Strategic programming on graph rewriting systems},
  booktitle    = {Proceedings International Workshop on Strategies in Rewriting, Proving,
                  and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
  series       = {{EPTCS}},
  volume       = {44},
  pages        = {1--20},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.44.1},
  doi          = {10.4204/EPTCS.44.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-5560.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1012-5561,
  author       = {Alex Gerdes and
                  Bastiaan Heeren and
                  Johan Jeuring},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Properties of Exercise Strategies},
  booktitle    = {Proceedings International Workshop on Strategies in Rewriting, Proving,
                  and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
  series       = {{EPTCS}},
  volume       = {44},
  pages        = {21--34},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.44.2},
  doi          = {10.4204/EPTCS.44.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-5561.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1012-5562,
  author       = {Bernhard Gramlich and
                  Felix Schernhammer},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Termination of Rewriting with and Automated Synthesis of Forbidden
                  Patterns},
  booktitle    = {Proceedings International Workshop on Strategies in Rewriting, Proving,
                  and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
  series       = {{EPTCS}},
  volume       = {44},
  pages        = {35--50},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.44.3},
  doi          = {10.4204/EPTCS.44.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-5562.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1012-5563,
  author       = {Ren{\'{e}} Thiemann and
                  Christian Sternagel and
                  J{\"{u}}rgen Giesl and
                  Peter Schneider{-}Kamp},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Loops under Strategies ... Continued},
  booktitle    = {Proceedings International Workshop on Strategies in Rewriting, Proving,
                  and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
  series       = {{EPTCS}},
  volume       = {44},
  pages        = {51--65},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.44.4},
  doi          = {10.4204/EPTCS.44.4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-5563.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1012-5337,
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Proceedings International Workshop on Strategies in Rewriting, Proving,
                  and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
  series       = {{EPTCS}},
  volume       = {44},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.44},
  doi          = {10.4204/EPTCS.44},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-5337.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}