Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/BluteS96,
  author       = {Richard Blute and
                  Philip J. Scott},
  title        = {Linear L{\"{a}}uchli Semantics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {2},
  pages        = {101--142},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00017-8},
  doi          = {10.1016/0168-0072(95)00017-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BluteS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChenH96,
  author       = {Zhixiang Chen and
                  Steven Homer},
  title        = {The Bounded Injury Priority Method and the Learnability of Unions
                  of Rectangles},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {2},
  pages        = {143--168},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00019-4},
  doi          = {10.1016/0168-0072(95)00019-4},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/ChenH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DAquino96,
  author       = {Paola D'Aquino},
  title        = {Pell Equations and Exponentiation in Fragments of Arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {1},
  pages        = {1--34},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00018-6},
  doi          = {10.1016/0168-0072(95)00018-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/DAquino96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ehrhard96,
  author       = {Thomas Ehrhard},
  title        = {Projecting Sequential Algorithms on Strongly Stable Functions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {3},
  pages        = {201--244},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00026-7},
  doi          = {10.1016/0168-0072(95)00026-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ehrhard96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FortiH96,
  author       = {Marco Forti and
                  Furio Honsell},
  title        = {Choice Principles in Hyperuniverses},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {1},
  pages        = {35--52},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00009-7},
  doi          = {10.1016/0168-0072(95)00009-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FortiH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GradelM96,
  author       = {Erich Gr{\"{a}}del and
                  Gregory L. McColm},
  title        = {Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary
                  Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {2},
  pages        = {169--199},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00021-6},
  doi          = {10.1016/0168-0072(95)00021-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/GradelM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Hatzikiriakou96,
  author       = {Kostas Hatzikiriakou},
  title        = {WKL\({}_{\mbox{0}}\) and Stone's Separation Theorem for Convex Sets},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {3},
  pages        = {245--249},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00038-0},
  doi          = {10.1016/0168-0072(95)00038-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hatzikiriakou96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Hjorth96,
  author       = {Greg Hjorth},
  title        = {Pi\({}^{\mbox{1}}\)\({}_{\mbox{2}}\) Wadge Degrees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {1},
  pages        = {53--74},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00011-9},
  doi          = {10.1016/0168-0072(95)00011-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hjorth96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MichauxV96,
  author       = {Christian Michaux and
                  Roger Villemaire},
  title        = {Presburger Arithmetic and Recognizability of Sets of Natural Numbers
                  by Automata: New Proofs of Cobham's and Semenov's Theorems},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {3},
  pages        = {251--277},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00022-4},
  doi          = {10.1016/0168-0072(95)00022-4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/MichauxV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Pillay96,
  author       = {Anand Pillay},
  title        = {Definable Sets in Generic Complex Tori},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {1},
  pages        = {75--80},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00010-0},
  doi          = {10.1016/0168-0072(95)00010-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Pillay96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Talayco96,
  author       = {Daniel E. Talayco},
  title        = {Applications of Cohomology to Set Theory {II:} Todorcevic Trees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {3},
  pages        = {279--299},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00024-0},
  doi          = {10.1016/0168-0072(95)00024-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Talayco96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Tent96,
  author       = {Katrin Tent},
  title        = {Classifying Totally Categorical Groups (and Others)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {77},
  number       = {1},
  pages        = {81--100},
  year         = {1996},
  url          = {https://doi.org/10.1016/0168-0072(95)00012-7},
  doi          = {10.1016/0168-0072(95)00012-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Tent96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics