Search dblp for Publications

export results for "toc:db/journals/apal/apal99.bht:"

 download as .bib file

@article{DBLP:journals/apal/Borisavljevic99,
  author    = {Mirjana Borisavljevic},
  title     = {A Cut-Elimination Proof in Intuitionistic Predicate Logic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {99},
  number    = {1-3},
  pages     = {105--136},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(98)00062-1},
  doi       = {10.1016/S0168-0072(98)00062-1},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Borisavljevic99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BussM99,
  author    = {Samuel R. Buss and
               Grigori Mints},
  title     = {The Complexity of the Disjunction and Existential Properties in Intuitionistic
               Logic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {99},
  number    = {1-3},
  pages     = {93--104},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(99)00002-0},
  doi       = {10.1016/S0168-0072(99)00002-0},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/BussM99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChapuisK99,
  author    = {Olivier Chapuis and
               Pascal Koiran},
  title     = {Saturation and Stability in the Theory of Computation over the Reals},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {99},
  number    = {1-3},
  pages     = {1--49},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(98)00060-8},
  doi       = {10.1016/S0168-0072(98)00060-8},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/ChapuisK99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Coquand99,
  author    = {Thierry Coquand},
  title     = {A Boolean Model of Ultrafilters},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {99},
  number    = {1-3},
  pages     = {231--239},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(99)00006-8},
  doi       = {10.1016/S0168-0072(99)00006-8},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Coquand99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/IvanovM99,
  author    = {Alexandre A. Ivanov and
               Dugald Macpherson},
  title     = {Strongly Determined Types},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {99},
  number    = {1-3},
  pages     = {197--230},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(99)00004-4},
  doi       = {10.1016/S0168-0072(99)00004-4},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/IvanovM99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KearnesKV99,
  author    = {Keith A. Kearnes and
               Emil W. Kiss and
               Matthew Valeriote},
  title     = {A Geometric Consequence of Residual Smallness},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {99},
  number    = {1-3},
  pages     = {137--169},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(98)00063-3},
  doi       = {10.1016/S0168-0072(98)00063-3},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/apal/KearnesKV99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/LouveauV99,
  author    = {Alain Louveau and
               Boban Velickovic},
  title     = {Analytic Ideals and Cofinal Types},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {99},
  number    = {1-3},
  pages     = {171--195},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(98)00065-7},
  doi       = {10.1016/S0168-0072(98)00065-7},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/LouveauV99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Moss99a,
  author    = {Lawrence S. Moss},
  title     = {Erratum to "Coalgebraic Logic": Ann. pure appl. logic 96 {(1999)}
               277-317},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {99},
  number    = {1-3},
  pages     = {241--259},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(99)00027-5},
  doi       = {10.1016/S0168-0072(99)00027-5},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Moss99a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Niggl99,
  author    = {Karl{-}Heinz Niggl},
  title     = {M\({}^{\mbox{omega}}\) Considered as a Programming Language},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {99},
  number    = {1-3},
  pages     = {73--92},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(99)80002-5},
  doi       = {10.1016/S0168-0072(99)80002-5},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Niggl99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Solecki99,
  author    = {Slawomir Solecki},
  title     = {Analytic Ideals and Their Applications},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {99},
  number    = {1-3},
  pages     = {51--72},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(98)00051-7},
  doi       = {10.1016/S0168-0072(98)00051-7},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Solecki99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics