Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/BaazL92,
  author       = {Matthias Baaz and
                  Alexander Leitsch},
  title        = {Complexity of Resolution Proofs and Function Introduction},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {57},
  number       = {3},
  pages        = {181--215},
  year         = {1992},
  url          = {https://doi.org/10.1016/0168-0072(92)90042-X},
  doi          = {10.1016/0168-0072(92)90042-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BaazL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BlassS92,
  author       = {Andreas Blass and
                  Andre Scedrov},
  title        = {Complete Topoi Representing Models of Set Theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {57},
  number       = {1},
  pages        = {1--26},
  year         = {1992},
  url          = {https://doi.org/10.1016/0168-0072(92)90059-9},
  doi          = {10.1016/0168-0072(92)90059-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BlassS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BossiV92,
  author       = {Annalisa Bossi and
                  Silvio Valentini},
  title        = {An Intuitionistic Theory of Types with Assumptions of High-Arity Variables},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {57},
  number       = {2},
  pages        = {93--149},
  year         = {1992},
  url          = {https://doi.org/10.1016/0168-0072(92)90023-S},
  doi          = {10.1016/0168-0072(92)90023-S},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BossiV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/DavydovD92,
  author       = {Gennady Davydov and
                  Inna Davydova},
  title        = {Tautologies and Positive Solvability of Linear Homogeneous Systems},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {57},
  number       = {1},
  pages        = {27--43},
  year         = {1992},
  url          = {https://doi.org/10.1016/0168-0072(92)90060-D},
  doi          = {10.1016/0168-0072(92)90060-D},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/DavydovD92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/DriesH92,
  author       = {Lou van den Dries and
                  Jan E. Holly},
  title        = {Quantifier Elimination for Modules with Scalar Variables},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {57},
  number       = {2},
  pages        = {161--179},
  year         = {1992},
  url          = {https://doi.org/10.1016/0168-0072(92)90025-U},
  doi          = {10.1016/0168-0072(92)90025-U},
  timestamp    = {Tue, 24 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/DriesH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Hauser92,
  author       = {Kai Hauser},
  title        = {The Indestructability of the Order of the Indescribable Cardinals},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {57},
  number       = {1},
  pages        = {45--91},
  year         = {1992},
  url          = {https://doi.org/10.1016/0168-0072(92)90061-4},
  doi          = {10.1016/0168-0072(92)90061-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hauser92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Heindorf92,
  author       = {Lutz Heindorf},
  title        = {Moderate Families in Boolean Algebras},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {57},
  number       = {3},
  pages        = {217--250},
  year         = {1992},
  url          = {https://doi.org/10.1016/0168-0072(92)90043-Y},
  doi          = {10.1016/0168-0072(92)90043-Y},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Heindorf92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Mitchell92,
  author       = {William J. Mitchell},
  title        = {An Infinitary Ramsey Property},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {57},
  number       = {2},
  pages        = {151--160},
  year         = {1992},
  url          = {https://doi.org/10.1016/0168-0072(92)90024-T},
  doi          = {10.1016/0168-0072(92)90024-T},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Mitchell92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/ToninoF92,
  author       = {Hans Tonino and
                  Ken{-}etsu Fujita},
  title        = {On the Adequacy of Representing Higher Order Intuitionistic Logic
                  as a Pure Type System},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {57},
  number       = {3},
  pages        = {251--276},
  year         = {1992},
  url          = {https://doi.org/10.1016/0168-0072(92)90044-Z},
  doi          = {10.1016/0168-0072(92)90044-Z},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/ToninoF92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}