Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/Andreoli01,
  author       = {Jean{-}Marc Andreoli},
  title        = {Focussing and proof construction},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {107},
  number       = {1-3},
  pages        = {131--163},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00032-4},
  doi          = {10.1016/S0168-0072(00)00032-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Andreoli01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BerarducciO01,
  author       = {Alessandro Berarducci and
                  Margarita Otero},
  title        = {Intersection theory for 0-minimal manifolds},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {107},
  number       = {1-3},
  pages        = {87--119},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00027-0},
  doi          = {10.1016/S0168-0072(00)00027-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/BerarducciO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/CholakDH01,
  author       = {Peter Cholak and
                  Rodney G. Downey and
                  Eberhard Herrmann},
  title        = {Some orbits for {E}},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {107},
  number       = {1-3},
  pages        = {193--226},
  year         = {2001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/CholakDH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/David01,
  author       = {Ren{\'{e}} David},
  title        = {Normalization without reducibility},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {107},
  number       = {1-3},
  pages        = {121--130},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00030-0},
  doi          = {10.1016/S0168-0072(00)00030-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/David01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Freidman01,
  author       = {Harvey M. Friedman},
  title        = {Subtle cardinals and linear orderings},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {107},
  number       = {1-3},
  pages        = {1--34},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00019-1},
  doi          = {10.1016/S0168-0072(00)00019-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Freidman01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Hamano01,
  author       = {Masahiro Hamano},
  title        = {Z-modules and ful completeness of multiplicative linear logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {107},
  number       = {1-3},
  pages        = {165--191},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00029-4},
  doi          = {10.1016/S0168-0072(00)00029-4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Hamano01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Laver01,
  author       = {Richard Laver},
  title        = {Reflection of elementary embedding axioms on the {L[V} Lambda\({}_{\mbox{+1}}\)]
                  hierarchy},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {107},
  number       = {1-3},
  pages        = {227--238},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00035-X},
  doi          = {10.1016/S0168-0072(00)00035-X},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Laver01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Nies01,
  author       = {Andr{\'{e}} Nies},
  title        = {Interpreting {N} in the computably enumerable weak truth talble degrees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {107},
  number       = {1-3},
  pages        = {35--48},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00021-X},
  doi          = {10.1016/S0168-0072(00)00021-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Nies01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Yaffe01,
  author       = {Yoav Yaffe},
  title        = {Model completion of Lie differential fields},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {107},
  number       = {1-3},
  pages        = {49--85},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00025-7},
  doi          = {10.1016/S0168-0072(00)00025-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Yaffe01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}