Search dblp for Publications

• > Home > Search

@article{DBLP:journals/japll/AhmedHT16,
  author       = {Waqar Ahmad and
                  Osman Hasan and
                  Sofi{\`{e}}ne Tahar},
  title        = {Formalization of Reliability Block Diagrams in Higher-order Logic},
  journal      = {J. Appl. Log.},
  volume       = {18},
  pages        = {19--41},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jal.2016.05.007},
  doi          = {10.1016/J.JAL.2016.05.007},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/AhmedHT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/japll/Ghorbani16,
  author       = {Shokoofeh Ghorbani},
  title        = {Hoop twist-structures},
  journal      = {J. Appl. Log.},
  volume       = {18},
  pages        = {1--18},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jal.2016.05.006},
  doi          = {10.1016/J.JAL.2016.05.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Ghorbani16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/japll/GoodallNM16,
  author       = {Andrew J. Goodall and
                  Jaroslav Nesetril and
                  Patrice Ossona de Mendez},
  title        = {Strongly polynomial sequences as interpretations},
  journal      = {J. Appl. Log.},
  volume       = {18},
  pages        = {129--149},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jal.2016.06.001},
  doi          = {10.1016/J.JAL.2016.06.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/GoodallNM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/japll/HazraDC16,
  author       = {Aritra Hazra and
                  Pallab Dasgupta and
                  Partha Pratim Chakrabarti},
  title        = {Formal assessment of reliability specifications in embedded cyber-physical
                  systems},
  journal      = {J. Appl. Log.},
  volume       = {18},
  pages        = {71--104},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jal.2016.09.001},
  doi          = {10.1016/J.JAL.2016.09.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/HazraDC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/japll/JacotGZ16,
  author       = {Justine Jacot and
                  Emmanuel J. Genot and
                  Frank Zenker},
  title        = {From reasonable preferences, via argumentation, to logic},
  journal      = {J. Appl. Log.},
  volume       = {18},
  pages        = {105--128},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jal.2016.08.001},
  doi          = {10.1016/J.JAL.2016.08.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/JacotGZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/japll/JagerM16,
  author       = {Gerhard J{\"{a}}ger and
                  Michel Marti},
  title        = {Intuitionistic common knowledge or belief},
  journal      = {J. Appl. Log.},
  volume       = {18},
  pages        = {150--163},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jal.2016.04.004},
  doi          = {10.1016/J.JAL.2016.04.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/JagerM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/japll/KamareddineSW16,
  author       = {Fairouz Kamareddine and
                  Jonathan P. Seldin and
                  J. B. Wells},
  title        = {Bridging Curry and Church's typing style},
  journal      = {J. Appl. Log.},
  volume       = {18},
  pages        = {42--70},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jal.2016.05.008},
  doi          = {10.1016/J.JAL.2016.05.008},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/KamareddineSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}