Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/CharlierLRC99,
  author       = {Baudouin Le Charlier and
                  Christophe Lecl{\`{e}}re and
                  Sabina Rossi and
                  Agostino Cortesi},
  title        = {Automated Verification of Prolog Programs},
  journal      = {J. Log. Program.},
  volume       = {39},
  number       = {1-3},
  pages        = {3--42},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0743-1066(98)10032-8},
  doi          = {10.1016/S0743-1066(98)10032-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/CharlierLRC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/CominiLMV99,
  author       = {Marco Comini and
                  Giorgio Levi and
                  Maria Chiara Meo and
                  Giuliana Vitiello},
  title        = {Abstract Diagnosis},
  journal      = {J. Log. Program.},
  volume       = {39},
  number       = {1-3},
  pages        = {43--93},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0743-1066(98)10033-X},
  doi          = {10.1016/S0743-1066(98)10033-X},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/CominiLMV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Ducasse99,
  author       = {Mireille Ducass{\'{e}}},
  title        = {Opium: An Extendable Trace Analyzer for Prolog},
  journal      = {J. Log. Program.},
  volume       = {39},
  number       = {1-3},
  pages        = {177--223},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0743-1066(98)10036-5},
  doi          = {10.1016/S0743-1066(98)10036-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Ducasse99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/EtalleG99,
  author       = {Sandro Etalle and
                  Maurizio Gabbrielli},
  title        = {Layered Modes},
  journal      = {J. Log. Program.},
  volume       = {39},
  number       = {1-3},
  pages        = {225--244},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0743-1066(98)10037-7},
  doi          = {10.1016/S0743-1066(98)10037-7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/EtalleG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/MarchioriT99,
  author       = {Elena Marchiori and
                  Frank Teusink},
  title        = {Termination of Logic Programs with Delay Declarations},
  journal      = {J. Log. Program.},
  volume       = {39},
  number       = {1-3},
  pages        = {95--124},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0743-1066(98)10034-1},
  doi          = {10.1016/S0743-1066(98)10034-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/MarchioriT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/PedreschiR99,
  author       = {Dino Pedreschi and
                  Salvatore Ruggieri},
  title        = {Verification of Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {39},
  number       = {1-3},
  pages        = {125--176},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0743-1066(98)10035-3},
  doi          = {10.1016/S0743-1066(98)10035-3},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/PedreschiR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}