Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/BarylskaKMP18,
  author       = {Kamila Barylska and
                  Maciej Koutny and
                  Lukasz Mikulski and
                  Marcin Piatkowski},
  title        = {Reversible computation vs. reversibility in Petri nets},
  journal      = {Sci. Comput. Program.},
  volume       = {151},
  pages        = {48--60},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.10.008},
  doi          = {10.1016/J.SCICO.2017.10.008},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BarylskaKMP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KuhnU18,
  author       = {Stefan Kuhn and
                  Irek Ulidowski},
  title        = {Local reversibility in a Calculus of Covalent Bonding},
  journal      = {Sci. Comput. Program.},
  volume       = {151},
  pages        = {18--47},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.09.008},
  doi          = {10.1016/J.SCICO.2017.09.008},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KuhnU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LaneseD18,
  author       = {Ivan Lanese and
                  Simon J. Devitt},
  title        = {Preface for the special issue of the 8th Conference on Reversible
                  Computation {(RC} 2016)},
  journal      = {Sci. Comput. Program.},
  volume       = {151},
  pages        = {1},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.10.015},
  doi          = {10.1016/J.SCICO.2017.10.015},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LaneseD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Selinger18,
  author       = {Peter Selinger},
  title        = {A finite alternation result for reversible boolean circuits},
  journal      = {Sci. Comput. Program.},
  volume       = {151},
  pages        = {2--17},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.08.011},
  doi          = {10.1016/J.SCICO.2017.08.011},
  timestamp    = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Selinger18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}