Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/Ambos-SpiesS93,
  author       = {Klaus Ambos{-}Spies and
                  Richard A. Shore},
  title        = {Undecidability and 1-Types in the Recursively Enumerable Degrees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {1},
  pages        = {3--37},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90206-S},
  doi          = {10.1016/0168-0072(93)90206-S},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ambos-SpiesS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BiroS93,
  author       = {Bal{\'{a}}zs Bir{\'{o}} and
                  Ildik{\'{o}} Sain},
  title        = {Peano Arithmetic as Axiomatization of the Time Frame in Logics of
                  Programs and in Dynamic Logics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {3},
  pages        = {201--225},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90148-7},
  doi          = {10.1016/0168-0072(93)90148-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BiroS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Calhoun93,
  author       = {William C. Calhoun},
  title        = {Incomparable Prime Ideals of Recursively Enumerable Degrees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {1},
  pages        = {39--56},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90207-T},
  doi          = {10.1016/0168-0072(93)90207-T},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Calhoun93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/CookU93,
  author       = {Stephen A. Cook and
                  Alasdair Urquhart},
  title        = {Functional Interpretations of Feasibly Constructive Arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {2},
  pages        = {103--200},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90044-E},
  doi          = {10.1016/0168-0072(93)90044-E},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/CookU93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Degtev93,
  author       = {A. N. Degtev},
  title        = {On p-Reducibility of Numerations},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {1},
  pages        = {57--60},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90208-U},
  doi          = {10.1016/0168-0072(93)90208-U},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Degtev93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Gitik93,
  author       = {Moti Gitik},
  title        = {On Measurable Cardinals Violating the Continuum Hypothesis},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {3},
  pages        = {227--240},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90149-8},
  doi          = {10.1016/0168-0072(93)90149-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Gitik93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Hird93,
  author       = {Geoffrey R. Hird},
  title        = {Recursive Properties of Relations on Models},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {3},
  pages        = {241--269},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90150-C},
  doi          = {10.1016/0168-0072(93)90150-C},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hird93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kucera93,
  author       = {Anton{\'{\i}}n Kucera},
  title        = {On Relative Randomness},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {1},
  pages        = {61--67},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90209-V},
  doi          = {10.1016/0168-0072(93)90209-V},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kucera93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/LouveauSV93,
  author       = {Alain Louveau and
                  Saharon Shelah and
                  Boban Velickovic},
  title        = {Borel Partitions of Infinite Subtrees of a Perfect Tree},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {3},
  pages        = {271--281},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90151-3},
  doi          = {10.1016/0168-0072(93)90151-3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/LouveauSV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Peraire93,
  author       = {Yves P{\'{e}}raire},
  title        = {Infinitesimal Approach of Almost-Automorphic Functions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {3},
  pages        = {283--297},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90152-4},
  doi          = {10.1016/0168-0072(93)90152-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Peraire93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/PrawitzW93,
  author       = {Dag Prawitz and
                  Dag Westerst{\aa}hl},
  title        = {Preface: {A} Selection of Papers Presented at the 9th International
                  Conference of Logic, Methodology and Philosophy of Science},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {1},
  pages        = {1},
  year         = {1993},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/PrawitzW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/SkvortsovS93,
  author       = {Dmitrij P. Skvortsov and
                  Valentin B. Shehtman},
  title        = {Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate
                  Logics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {63},
  number       = {1},
  pages        = {69--101},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90210-5},
  doi          = {10.1016/0168-0072(93)90210-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/SkvortsovS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.