Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/Baldwin93,
  author       = {John T. Baldwin},
  title        = {Preface: {A} Selection of Papers Presented at the "Stability in Model
                  Theory III" Conference},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {2},
  pages        = {81},
  year         = {1993},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Baldwin93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Dosen93,
  author       = {Kosta Dosen},
  title        = {Rudimentary Kripke Models for the Intuitionistic Propositional Calculus},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {1},
  pages        = {21--49},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90186-H},
  doi          = {10.1016/0168-0072(93)90186-H},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Dosen93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/EvansH93,
  author       = {David M. Evans and
                  Ehud Hrushovski},
  title        = {On the Automorphism Groups of Finite Covers},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {2},
  pages        = {83--112},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90168-D},
  doi          = {10.1016/0168-0072(93)90168-D},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/EvansH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/FriedmanSY93,
  author       = {Harvey Friedman and
                  Stephen G. Simpson and
                  Xiaokang Yu},
  title        = {Periodic Points and Subsystems of Second-Order Arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {1},
  pages        = {51--64},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90187-I},
  doi          = {10.1016/0168-0072(93)90187-I},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanSY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/GreifL93,
  author       = {A. D. Greif and
                  Michael C. Laskowski},
  title        = {An Omitting Types Theorem for Saturated Structures},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {2},
  pages        = {113--118},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90169-E},
  doi          = {10.1016/0168-0072(93)90169-E},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/GreifL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HartPS93,
  author       = {Bradd Hart and
                  Anand Pillay and
                  Sergei Starchenko},
  title        = {Triviality, {NDOP} and Stable Varieties},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {2},
  pages        = {119--146},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90170-I},
  doi          = {10.1016/0168-0072(93)90170-I},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HartPS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Hrushovski93,
  author       = {Ehud Hrushovski},
  title        = {A New Strongly Minimal Set},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {2},
  pages        = {147--166},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90171-9},
  doi          = {10.1016/0168-0072(93)90171-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hrushovski93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kaddah93,
  author       = {D. Kaddah},
  title        = {Infima in the d.r.e. Degrees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {3},
  pages        = {207--263},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90238-9},
  doi          = {10.1016/0168-0072(93)90238-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kaddah93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/MarcjaPT93,
  author       = {Annalisa Marcja and
                  Mike Prest and
                  Carlo Toffalori},
  title        = {On the Undecidability of Some Classes of Abelian-by-Finite Groups},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {2},
  pages        = {167--173},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90172-A},
  doi          = {10.1016/0168-0072(93)90172-A},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/MarcjaPT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Mints93,
  author       = {Grigori Mints},
  title        = {A Normal Form for Logical Derivations Implying One for Arithmetic
                  Derivations},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {1},
  pages        = {65--79},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90188-J},
  doi          = {10.1016/0168-0072(93)90188-J},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Mints93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/PillayR93,
  author       = {Anand Pillay and
                  Philipp Rothmaler},
  title        = {Unidimensional Modules: Uniqueness of Maximal Non-Modular Submodels},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {2},
  pages        = {175--181},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90173-B},
  doi          = {10.1016/0168-0072(93)90173-B},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/PillayR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Prest93,
  author       = {Mike Prest},
  title        = {Remarks on Elementary Duality},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {2},
  pages        = {183--205},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90174-C},
  doi          = {10.1016/0168-0072(93)90174-C},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Prest93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Thiele93,
  author       = {Ernst{-}Jochen Thiele},
  title        = {Preface: {A} selection of papers presented at the Logic Colloquium
                  '89},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {1},
  pages        = {19},
  year         = {1993},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Thiele93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Vauzeilles93,
  author       = {Jacqueline Vauzeilles},
  title        = {Cut Elimination for the Unified Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {1},
  pages        = {1--16},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90184-F},
  doi          = {10.1016/0168-0072(93)90184-F},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Vauzeilles93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/YakhnisY93,
  author       = {Alexander Yakhnis and
                  Vladimir Yakhnis},
  title        = {Gurevich-Harrington's Games Defined by Finite Automata},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {62},
  number       = {3},
  pages        = {265--294},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90239-A},
  doi          = {10.1016/0168-0072(93)90239-A},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/YakhnisY93.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.