Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs265.bht:"

 download as .bib file

@proceedings{DBLP:journals/corr/abs-1802-05862,
  editor       = {Horatiu Cirstea and
                  David Sabel},
  title        = {Proceedings Fourth International Workshop on Rewriting Techniques
                  for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
                  UK, 8th September 2017},
  series       = {{EPTCS}},
  volume       = {265},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.05862},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-05862.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-06492,
  author       = {Nneka Chinelo Ene and
                  Maribel Fern{\'{a}}ndez and
                  Bruno Pinaud},
  editor       = {Horatiu Cirstea and
                  David Sabel},
  title        = {Attributed Hierarchical Port Graphs and Applications},
  booktitle    = {Proceedings Fourth International Workshop on Rewriting Techniques
                  for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
                  UK, 8th September 2017},
  series       = {{EPTCS}},
  volume       = {265},
  pages        = {2--19},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.265.2},
  doi          = {10.4204/EPTCS.265.2},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-06492.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-06493,
  author       = {Liyi Li and
                  Elsa L. Gunter},
  editor       = {Horatiu Cirstea and
                  David Sabel},
  title        = {A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras},
  booktitle    = {Proceedings Fourth International Workshop on Rewriting Techniques
                  for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
                  UK, 8th September 2017},
  series       = {{EPTCS}},
  volume       = {265},
  pages        = {20--34},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.265.3},
  doi          = {10.4204/EPTCS.265.3},
  timestamp    = {Thu, 17 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-06493.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-06494,
  author       = {Shinnosuke Mizutani and
                  Naoki Nishida},
  editor       = {Horatiu Cirstea and
                  David Sabel},
  title        = {Transforming Proof Tableaux of Hoare Logic into Inference Sequences
                  of Rewriting Induction},
  booktitle    = {Proceedings Fourth International Workshop on Rewriting Techniques
                  for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
                  UK, 8th September 2017},
  series       = {{EPTCS}},
  volume       = {265},
  pages        = {35--51},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.265.4},
  doi          = {10.4204/EPTCS.265.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-06494.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-06495,
  author       = {Koko Muroya and
                  Dan R. Ghica},
  editor       = {Horatiu Cirstea and
                  David Sabel},
  title        = {Efficient Implementation of Evaluation Strategies via Token-Guided
                  Graph Rewriting},
  booktitle    = {Proceedings Fourth International Workshop on Rewriting Techniques
                  for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
                  UK, 8th September 2017},
  series       = {{EPTCS}},
  volume       = {265},
  pages        = {52--66},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.265.5},
  doi          = {10.4204/EPTCS.265.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-06495.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-06496,
  author       = {Yutaro Nagae and
                  Masahiko Sakai},
  editor       = {Horatiu Cirstea and
                  David Sabel},
  title        = {Reduced Dependency Spaces for Existential Parameterised Boolean Equation
                  Systems},
  booktitle    = {Proceedings Fourth International Workshop on Rewriting Techniques
                  for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
                  UK, 8th September 2017},
  series       = {{EPTCS}},
  volume       = {265},
  pages        = {67--81},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.265.6},
  doi          = {10.4204/EPTCS.265.6},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-06496.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-06497,
  author       = {Tomohiro Sasano and
                  Naoki Nishida and
                  Masahiko Sakai and
                  Tomoya Ueyama},
  editor       = {Horatiu Cirstea and
                  David Sabel},
  title        = {Transforming Dependency Chains of Constrained TRSs into Bounded Monotone
                  Sequences of Integers},
  booktitle    = {Proceedings Fourth International Workshop on Rewriting Techniques
                  for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
                  UK, 8th September 2017},
  series       = {{EPTCS}},
  volume       = {265},
  pages        = {82--97},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.265.7},
  doi          = {10.4204/EPTCS.265.7},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-06497.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-06498,
  author       = {Manfred Schmidt{-}Schau{\ss} and
                  Nils Dallmeyer},
  editor       = {Horatiu Cirstea and
                  David Sabel},
  title        = {Space Improvements and Equivalences in a Functional Core Language},
  booktitle    = {Proceedings Fourth International Workshop on Rewriting Techniques
                  for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
                  UK, 8th September 2017},
  series       = {{EPTCS}},
  volume       = {265},
  pages        = {98--112},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.265.8},
  doi          = {10.4204/EPTCS.265.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-06498.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.