Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/AdamekMM18,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Lawrence S. Moss},
  title        = {Fixed points of functors},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {95},
  pages        = {41--81},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.11.003},
  doi          = {10.1016/J.JLAMP.2017.11.003},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/AdamekMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BonchiSZ18,
  author       = {Filippo Bonchi and
                  Pawel Sobocinski and
                  Fabio Zanasi},
  title        = {Deconstructing Lawvere with distributive laws},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {95},
  pages        = {128--146},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.12.002},
  doi          = {10.1016/J.JLAMP.2017.12.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BonchiSZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DinJOY18,
  author       = {Crystal Chang Din and
                  Einar Broch Johnsen and
                  Olaf Owe and
                  Ingrid Chieh Yu},
  title        = {A modular reasoning system using uninterpreted predicates for code
                  reuse},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {95},
  pages        = {82--102},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.11.004},
  doi          = {10.1016/J.JLAMP.2017.11.004},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/DinJOY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GallagherAK18,
  author       = {John P. Gallagher and
                  Mai Ajspur and
                  Bishoksan Kafle},
  title        = {Optimised determinisation and completion of finite tree automata},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {95},
  pages        = {1--16},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.10.004},
  doi          = {10.1016/J.JLAMP.2017.10.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/GallagherAK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HildebrandtM18,
  author       = {Thomas T. Hildebrandt and
                  Marino Miculan},
  title        = {Guest editors' foreword},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {95},
  pages        = {147},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.12.001},
  doi          = {10.1016/J.JLAMP.2017.12.001},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HildebrandtM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/TuostoG18,
  author       = {Emilio Tuosto and
                  Roberto Guanciale},
  title        = {Semantics of global view of choreographies},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {95},
  pages        = {17--40},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.11.002},
  doi          = {10.1016/J.JLAMP.2017.11.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/TuostoG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Zanardini18,
  author       = {Damiano Zanardini},
  title        = {Field-sensitive sharing},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {95},
  pages        = {103--127},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.10.005},
  doi          = {10.1016/J.JLAMP.2017.10.005},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Zanardini18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}