Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/Appenzeller00,
  author    = {Fred Appenzeller},
  title     = {Classification Theory through Stationary Logic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {1-2},
  pages     = {27--68},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00019-6},
  doi       = {10.1016/S0168-0072(99)00019-6},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Appenzeller00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ApterC00,
  author    = {Arthur W. Apter and
               James Cummings},
  title     = {A Global Version of a Theorem of Ben-David and Magidor},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {3},
  pages     = {199--222},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00033-0},
  doi       = {10.1016/S0168-0072(99)00033-0},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/ApterC00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BucciarelliE00,
  author    = {Antonio Bucciarelli and
               Thomas Ehrhard},
  title     = {On Phase Semantics and Denotational Semantics in Multiplicative-Additive
               Linear Logic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {3},
  pages     = {247--282},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00040-8},
  doi       = {10.1016/S0168-0072(99)00040-8},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/BucciarelliE00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DafaJL00,
  author    = {Dafa Li and
               Peifa Jia and
               Xinxin Li},
  title     = {Simplifying von Plato's Axiomatization of Constructive Apartness Geometry},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {1-2},
  pages     = {1--26},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00031-7},
  doi       = {10.1016/S0168-0072(99)00031-7},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/DafaJL00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Edmundo00,
  author    = {M{\'{a}}rio J. Edmundo},
  title     = {Structure Theorems for o-Minimal Expansions of Groups},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {1-2},
  pages     = {159--181},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00043-3},
  doi       = {10.1016/S0168-0072(99)00043-3},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Edmundo00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ghilardi00,
  author    = {Silvio Ghilardi},
  title     = {Best Solving Modal Equations},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {3},
  pages     = {183--198},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00032-9},
  doi       = {10.1016/S0168-0072(99)00032-9},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Ghilardi00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HamkinsT00,
  author    = {Joel David Hamkins and
               Simon Thomas},
  title     = {Changing the Heights of Automorphism Towers},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {1-2},
  pages     = {139--157},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00039-1},
  doi       = {10.1016/S0168-0072(99)00039-1},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/HamkinsT00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JensenZ00,
  author    = {Ronald B. Jensen and
               Martin Zeman},
  title     = {Smooth Categories and Global square},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {1-2},
  pages     = {101--138},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00020-2},
  doi       = {10.1016/S0168-0072(99)00020-2},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/JensenZ00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kanovei00,
  author    = {Vladimir Kanovei},
  title     = {Linearization of Definable Order Relations},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {1-2},
  pages     = {69--100},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00013-5},
  doi       = {10.1016/S0168-0072(99)00013-5},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Kanovei00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kohlenbach00,
  author    = {Ulrich Kohlenbach},
  title     = {Things That Can and Things That Cannot Be Done in {PRA}},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {3},
  pages     = {223--245},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00036-6},
  doi       = {10.1016/S0168-0072(99)00036-6},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Kohlenbach00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Pynko00,
  author    = {Alexej P. Pynko},
  title     = {Erratum to "Definitional Equivalence and Algebraizability of Generalized
               Logical Systems"},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {102},
  number    = {3},
  pages     = {283--284},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0168-0072(99)00042-1},
  doi       = {10.1016/S0168-0072(99)00042-1},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Pynko00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics