Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/BakelB08,
  author       = {Steffen van Bakel and
                  Stefano Berardi},
  title        = {Preface},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {153},
  number       = {1-3},
  pages        = {1--2},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.01.007},
  doi          = {10.1016/J.APAL.2008.01.007},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BakelB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BerardiY08,
  author       = {Stefano Berardi and
                  Yoriyuki Yamagata},
  title        = {A sequent calculus for limit computable mathematics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {153},
  number       = {1-3},
  pages        = {111--126},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.01.006},
  doi          = {10.1016/J.APAL.2008.01.006},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BerardiY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kikuchi08,
  author       = {Kentaro Kikuchi},
  title        = {Call-by-name reduction and cut-elimination in classical logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {153},
  number       = {1-3},
  pages        = {38--65},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.01.002},
  doi          = {10.1016/J.APAL.2008.01.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kikuchi08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/LengrandM08,
  author       = {St{\'{e}}phane Lengrand and
                  Alexandre Miquel},
  title        = {Classical F\({}_{\mbox{omega}}\), orthogonality and symmetric candidates},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {153},
  number       = {1-3},
  pages        = {3--20},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.01.005},
  doi          = {10.1016/J.APAL.2008.01.005},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/LengrandM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/NakazawaT08,
  author       = {Koji Nakazawa and
                  Makoto Tatsuta},
  title        = {Strong normalization of classical natural deduction with disjunctions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {153},
  number       = {1-3},
  pages        = {21--37},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.01.003},
  doi          = {10.1016/J.APAL.2008.01.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/NakazawaT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Seisenberger08,
  author       = {Monika Seisenberger},
  title        = {Programs from proofs using classical dependent choice},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {153},
  number       = {1-3},
  pages        = {97--110},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.01.004},
  doi          = {10.1016/J.APAL.2008.01.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Seisenberger08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Zeilberger08,
  author       = {Noam Zeilberger},
  title        = {On the unity of duality},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {153},
  number       = {1-3},
  pages        = {66--96},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.01.001},
  doi          = {10.1016/J.APAL.2008.01.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Zeilberger08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}