Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/Alonso-JimenezA18,
  author       = {Jos{\'{e}} A. Alonso{-}Jim{\'{e}}nez and
                  Gonzalo A. Aranda{-}Corral and
                  Joaqu{\'{\i}}n Borrego{-}D{\'{\i}}az and
                  Mar{\'{\i}}a Magdalena Fern{\'{a}}ndez{-}Lebr{\'{o}}n and
                  Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo{-}Doblado},
  title        = {A logic-algebraic tool for reasoning with Knowledge-Based Systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {101},
  pages        = {88--109},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.09.001},
  doi          = {10.1016/J.JLAMP.2018.09.001},
  timestamp    = {Wed, 18 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Alonso-JimenezA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/CaballeroMRT18,
  author       = {Rafael Caballero and
                  Enrique Martin{-}Martin and
                  Adri{\'{a}}n Riesco and
                  Salvador Tamarit},
  title        = {Declarative debugging of concurrent Erlang programs},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {101},
  pages        = {22--41},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.07.005},
  doi          = {10.1016/J.JLAMP.2018.07.005},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/CaballeroMRT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GrechFR18,
  author       = {Neville Grech and
                  Bernd Fischer and
                  Julian Rathke},
  title        = {Preemptive type checking},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {101},
  pages        = {151--181},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.08.003},
  doi          = {10.1016/J.JLAMP.2018.08.003},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/GrechFR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Guttmann18,
  author       = {Walter Guttmann},
  title        = {Verifying minimum spanning tree algorithms with Stone relation algebras},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {101},
  pages        = {132--150},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.09.005},
  doi          = {10.1016/J.JLAMP.2018.09.005},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Guttmann18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/KomendantskayaP18,
  author       = {Ekaterina Komendantskaya and
                  John Power},
  title        = {Logic programming: Laxness and saturation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {101},
  pages        = {1--21},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.07.004},
  doi          = {10.1016/J.JLAMP.2018.07.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/KomendantskayaP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Lowe18,
  author       = {Gavin Lowe},
  title        = {Lock-free concurrent binomial heaps},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {101},
  pages        = {44--87},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.08.001},
  doi          = {10.1016/J.JLAMP.2018.08.001},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Lowe18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Lucanu18,
  author       = {Dorel Lucanu},
  title        = {Editor's foreword},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {101},
  pages        = {42--43},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.08.002},
  doi          = {10.1016/J.JLAMP.2018.08.002},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Lucanu18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/MaximovaGK18,
  author       = {Maria Maximova and
                  Holger Giese and
                  Christian Krause},
  title        = {Probabilistic timed graph transformation systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {101},
  pages        = {110--131},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.09.003},
  doi          = {10.1016/J.JLAMP.2018.09.003},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/MaximovaGK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}