Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/AvigadS06,
  author       = {Jeremy Avigad and
                  Ksenija Simic},
  title        = {Fundamental notions of analysis in subsystems of second-order arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {138--184},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.03.004},
  doi          = {10.1016/J.APAL.2005.03.004},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/AvigadS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BeauquierS06,
  author       = {Dani{\`{e}}le Beauquier and
                  Anatol Slissenko},
  title        = {Periodicity based decidable classes in a first order timed logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {43--73},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.03.003},
  doi          = {10.1016/J.APAL.2005.03.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BeauquierS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Berardi06,
  author       = {Stefano Berardi},
  title        = {Some intuitionistic equivalents of classical principles for degree
                  2 formulas},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {185--200},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.04.006},
  doi          = {10.1016/J.APAL.2005.04.006},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Berardi06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/CaseCJMR06,
  author       = {John Case and
                  Keh{-}Jiann Chen and
                  Sanjay Jain and
                  Wolfgang Merkle and
                  James S. Royer},
  title        = {Generality's price: Inescapable deficiencies in machine-learned programs},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {303--326},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.06.013},
  doi          = {10.1016/J.APAL.2005.06.013},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/CaseCJMR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Corazza06,
  author       = {Paul Corazza},
  title        = {The spectrum of elementary embeddings j: V-{\textgreater}V},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {327--399},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.06.014},
  doi          = {10.1016/J.APAL.2005.06.014},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Corazza06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Djordjevic06,
  author       = {Marko Djordjevic},
  title        = {The finite submodel property and omega-categorical expansions of pregeometries},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {201--229},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.05.013},
  doi          = {10.1016/J.APAL.2005.05.013},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Djordjevic06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/DzamonjaS06,
  author       = {Mirna Dzamonja and
                  Saharon Shelah},
  title        = {On properties of theories which preclude the existence of universal
                  models},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {280--302},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.06.001},
  doi          = {10.1016/J.APAL.2005.06.001},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/DzamonjaS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HyttinenL06,
  author       = {Tapani Hyttinen and
                  Olivier Lessmann},
  title        = {Simplicity and uncountable categoricity in excellent classes},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {110--137},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.04.002},
  doi          = {10.1016/J.APAL.2005.04.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HyttinenL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Mellor06,
  author       = {T. Mellor},
  title        = {Imaginaries in real closed valued fields},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {230--279},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.05.014},
  doi          = {10.1016/J.APAL.2005.05.014},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Mellor06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Montalban06,
  author       = {Antonio Montalb{\'{a}}n},
  title        = {Equivalence between Fra{\"{\i}}ss{\'{e}}'s conjecture and
                  Jullien's theorem},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {1--42},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.03.001},
  doi          = {10.1016/J.APAL.2005.03.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Montalban06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/PikhurkoSV06,
  author       = {Oleg Pikhurko and
                  Joel Spencer and
                  Oleg Verbitsky},
  title        = {Succinct definitions in the first order theory of graphs},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {139},
  number       = {1-3},
  pages        = {74--109},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.apal.2005.04.003},
  doi          = {10.1016/J.APAL.2005.04.003},
  timestamp    = {Thu, 13 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/PikhurkoSV06.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.