Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/Avigad98,
  author       = {Jeremy Avigad},
  title        = {Predicative Functionals and an Interpretation of ID\({}_{\mbox{{\textless}omega}}\)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {1},
  pages        = {1--34},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)00045-6},
  doi          = {10.1016/S0168-0072(97)00045-6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Avigad98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Berg98,
  author       = {Imme Pieter van den Berg},
  title        = {On the Relation between Elementary Partial Difference Equations and
                  Partial Differential Equations},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {3},
  pages        = {235--265},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(98)00006-2},
  doi          = {10.1016/S0168-0072(98)00006-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Berg98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/CourcelleW98,
  author       = {Bruno Courcelle and
                  Igor Walukiewicz},
  title        = {Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition
                  Systems},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {1},
  pages        = {35--62},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)00048-1},
  doi          = {10.1016/S0168-0072(97)00048-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/CourcelleW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Cunningham98,
  author       = {Daniel W. Cunningham},
  title        = {Is There a Set of Reals Not in K(R)?},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {2},
  pages        = {161--210},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(98)00003-7},
  doi          = {10.1016/S0168-0072(98)00003-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Cunningham98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Fernando98,
  author       = {Tim Fernando},
  title        = {In Conjunction with Qualitative Probability},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {3},
  pages        = {217--234},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(98)00007-4},
  doi          = {10.1016/S0168-0072(98)00007-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Fernando98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/FortiH98,
  author       = {Marco Forti and
                  Furio Honsell},
  title        = {Addendum and Corrigendum: Choice Principles in Hyperuniverses},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {2},
  pages        = {211--214},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)00079-1},
  doi          = {10.1016/S0168-0072(97)00079-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FortiH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HjorthKL98,
  author       = {Greg Hjorth and
                  Alexander S. Kechris and
                  Alain Louveau},
  title        = {Borel Equivalence Relations Induced by Actions of the Symmetric Group},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {1},
  pages        = {63--112},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)00049-3},
  doi          = {10.1016/S0168-0072(97)00049-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HjorthKL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kojman98,
  author       = {Menachem Kojman},
  title        = {Exact Upper Bounds and Their Uses in Set Theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {3},
  pages        = {267--282},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(98)00011-6},
  doi          = {10.1016/S0168-0072(98)00011-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kojman98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/MakowskyP98,
  author       = {Johann A. Makowsky and
                  Y. B. Pnueli},
  title        = {Erratum to "Arity and Alternation in Second-Order Logic"},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {2},
  pages        = {215},
  year         = {1998},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/MakowskyP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Setzer98,
  author       = {Anton Setzer},
  title        = {Well-Ordering, Proofs for Martin-L{\"{o}}f Type Theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {2},
  pages        = {113--159},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)00078-X},
  doi          = {10.1016/S0168-0072(97)00078-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Setzer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/VelickovicW98,
  author       = {Boban Velickovic and
                  W. Hugh Woodin},
  title        = {Complexity of Reals in Inner Models of Set Theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {92},
  number       = {3},
  pages        = {283--295},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(98)00010-4},
  doi          = {10.1016/S0168-0072(98)00010-4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/VelickovicW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.