Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/Ash90,
  author       = {Christopher J. Ash},
  title        = {Labelling Systems and r.e. Structures},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {2},
  pages        = {99--119},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90065-A},
  doi          = {10.1016/0168-0072(90)90065-A},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ash90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BaumgartnerL90,
  author       = {James E. Baumgartner and
                  Jean A. Larson},
  title        = {A Diamond Example of an Ordinal Graph with No Infinite Paths},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {1},
  pages        = {1--10},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90013-R},
  doi          = {10.1016/0168-0072(90)90013-R},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BaumgartnerL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Bellissima90,
  author       = {Fabio Bellissima},
  title        = {Post Complete and 0-Axiomatizable Modal Logics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {2},
  pages        = {121--144},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90066-B},
  doi          = {10.1016/0168-0072(90)90066-B},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Bellissima90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/FriedmanH90,
  author       = {Harvey Friedman and
                  Jeffry L. Hirst},
  title        = {Weak Comparability of Well Orderings and Reverse Mathematics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {1},
  pages        = {11--29},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90014-S},
  doi          = {10.1016/0168-0072(90)90014-S},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KotlarskiR90,
  author       = {Henryk Kotlarski and
                  Zygmunt Ratajczyk},
  title        = {Inductive Full Satisfaction Classes},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {3},
  pages        = {199--223},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90035-Z},
  doi          = {10.1016/0168-0072(90)90035-Z},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KotlarskiR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Larson90,
  author       = {Jean A. Larson},
  title        = {Martin's Axiom and Ordinal Graphs: Large Independent Sets or Infinite
                  Paths},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {1},
  pages        = {31--39},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90015-T},
  doi          = {10.1016/0168-0072(90)90015-T},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Larson90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Makkai90,
  author       = {Michael Makkai},
  title        = {A Theorem on Barr-Exact Categories, with an Infinitary Generalization},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {3},
  pages        = {225--268},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90036-2},
  doi          = {10.1016/0168-0072(90)90036-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Makkai90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Scowcroft90,
  author       = {Philip Scowcroft},
  title        = {A New Model for Intuitionistic Analysis},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {2},
  pages        = {145--165},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90067-C},
  doi          = {10.1016/0168-0072(90)90067-C},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Scowcroft90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/ShelahM90,
  author       = {Saharon Shelah and
                  Michael Makkai},
  title        = {Categoricity of Theories in L\({}_{\mbox{k omega}}\), with k a Compact
                  Ordinal},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {1},
  pages        = {41--97},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90016-U},
  doi          = {10.1016/0168-0072(90)90016-U},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/ShelahM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/ShiojiT90,
  author       = {Naoki Shioji and
                  Kazuyuki Tanaka},
  title        = {Fixed Point Theory in Weak Second-Order Arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {2},
  pages        = {167--188},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90068-D},
  doi          = {10.1016/0168-0072(90)90068-D},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/ShiojiT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Srour90,
  author       = {Gabriel Srour},
  title        = {The Notion of Independence in Categories of Algebraic Structures,
                  Part {III:} Equational Classes},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {3},
  pages        = {269--294},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90037-3},
  doi          = {10.1016/0168-0072(90)90037-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Srour90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Tung90,
  author       = {Shih Ping Tung},
  title        = {Algorithms for Sentences over Integral Domains},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {47},
  number       = {2},
  pages        = {189--197},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90069-E},
  doi          = {10.1016/0168-0072(90)90069-E},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Tung90.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.