Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlap/CostaFM23,
  author       = {Diana Costa and
                  Daniel Figueiredo and
                  Manuel A. Martins},
  title        = {Relation-changing models meet paraconsistency},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {133},
  pages        = {100870},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100870},
  doi          = {10.1016/J.JLAMP.2023.100870},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/CostaFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/DiazFEM23,
  author       = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and
                  Lars{-}{\AA}ke Fredlund and
                  Clara Benac Earle and
                  Julio Mari{\~{n}}o},
  title        = {A formal semantics for agent distribution and fault tolerance in Jason},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {133},
  pages        = {100874},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100874},
  doi          = {10.1016/J.JLAMP.2023.100874},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/DiazFEM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/FradeP23,
  author       = {Maria Jo{\~{a}}o Frade and
                  Jorge Sousa Pinto},
  title        = {A verified VCGen based on dynamic logic: An exercise in meta-verification
                  with Why3},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {133},
  pages        = {100871},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100871},
  doi          = {10.1016/J.JLAMP.2023.100871},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/FradeP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/OverbeekER23,
  author       = {Roy Overbeek and
                  J{\"{o}}rg Endrullis and
                  Alo{\"{\i}}s Rosset},
  title        = {Graph rewriting and relabeling with PBPO\({}^{\mbox{+}}\): {A} unifying
                  theory for quasitoposes},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {133},
  pages        = {100873},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100873},
  doi          = {10.1016/J.JLAMP.2023.100873},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/OverbeekER23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/RestrepoJP23,
  author       = {Carlos Alberto Ram{\'{\i}}rez Restrepo and
                  Juan C. Jaramillo and
                  Jorge A. P{\'{e}}rez},
  title        = {Session-based concurrency in Maude: Executable semantics and type
                  checking},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {133},
  pages        = {100872},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100872},
  doi          = {10.1016/J.JLAMP.2023.100872},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/RestrepoJP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/SchneiderL23,
  author       = {Sven Schneider and
                  Leen Lambers},
  title        = {Evaluation diversity for graph conditions},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {133},
  pages        = {100862},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100862},
  doi          = {10.1016/J.JLAMP.2023.100862},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/SchneiderL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/WangCGSLZ23,
  author       = {Guohui Wang and
                  Shanyan Chen and
                  Yong Guan and
                  Zhi{-}Ping Shi and
                  Ximeng Li and
                  Jingzhi Zhang},
  title        = {Formalization of the inverse kinematics of three-fingered dexterous
                  hand},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {133},
  pages        = {100861},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100861},
  doi          = {10.1016/J.JLAMP.2023.100861},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/WangCGSLZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}