Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/CamilleriS17,
  author       = {John J. Camilleri and
                  Gerardo Schneider},
  title        = {Modelling and analysis of normative documents},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {91},
  pages        = {33--59},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.05.002},
  doi          = {10.1016/J.JLAMP.2017.05.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/CamilleriS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/ConradiePS17,
  author       = {Willem Conradie and
                  Alessandra Palmigiano and
                  Sumit Sourabh},
  title        = {Algebraic modal correspondence: Sahlqvist and beyond},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {91},
  pages        = {60--84},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.10.006},
  doi          = {10.1016/J.JLAMP.2016.10.006},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/ConradiePS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/KillingbeckTW17,
  author       = {Dylan Killingbeck and
                  Milene Santos Teixeira and
                  Michael Winter},
  title        = {Relations in linear algebra},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {91},
  pages        = {1--16},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.05.003},
  doi          = {10.1016/J.JLAMP.2017.05.003},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/KillingbeckTW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/KozenMS17,
  author       = {Dexter Kozen and
                  Konstantinos Mamouras and
                  Alexandra Silva},
  title        = {Completeness and incompleteness in nominal Kleene algebra},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {91},
  pages        = {17--32},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.06.002},
  doi          = {10.1016/J.JLAMP.2017.06.002},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/KozenMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}