Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/ArchangelskyDT96,
  author    = {Dmitry A. Archangelsky and
               Michael I. Dekhtyar and
               Mikhail A. Taitslin},
  title     = {Linear Logic for Nets with Bounded Resources},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {3--28},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00015-1},
  doi       = {10.1016/0168-0072(95)00015-1},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/ArchangelskyDT96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArslanovLS96,
  author    = {Marat M. Arslanov and
               Steffen Lempp and
               Richard A. Shore},
  title     = {Interpolating d-r.e. and {REA} Degrees between r.e. Degrees},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {29--56},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(96)00014-0},
  doi       = {10.1016/0168-0072(96)00014-0},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/ArslanovLS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArtemovK96,
  author    = {Sergei N. Art{\"{e}}mov and
               Vladimir Krupski},
  title     = {Data Storage Interpretation of Labeled Modal Logic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {57--71},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00062-3},
  doi       = {10.1016/0168-0072(95)00062-3},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/ArtemovK96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DabrowskiMP96,
  author    = {Andrew Dabrowski and
               Lawrence S. Moss and
               Rohit Parikh},
  title     = {Topological Reasoning and the Logic of Knowledge},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {73--110},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00016-X},
  doi       = {10.1016/0168-0072(95)00016-X},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/DabrowskiMP96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/EiterGG96,
  author    = {Thomas Eiter and
               Georg Gottlob and
               Yuri Gurevich},
  title     = {Normal Forms for Second-Order Logic over Finite Structures, and Classification
               of {NP} Optimization Problems},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {111--125},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00033-X},
  doi       = {10.1016/0168-0072(95)00033-X},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/EiterGG96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GeN96,
  author    = {Xiaolin Ge and
               Anil Nerode},
  title     = {Effective Content of the Calculus of Variations {I:} Semi-Continuity
               and the Chattering Lemma},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {127--146},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00034-8},
  doi       = {10.1016/0168-0072(95)00034-8},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/GeN96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kanovich96,
  author    = {Max I. Kanovich},
  title     = {Linear Logic Automata},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {147--188},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00035-6},
  doi       = {10.1016/0168-0072(95)00035-6},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Kanovich96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MakowskyP96,
  author    = {Johann A. Makowsky and
               Y. B. Pnueli},
  title     = {Arity and Alternation in Second-Order Logic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {189--202},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00013-5},
  doi       = {10.1016/0168-0072(95)00013-5},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/MakowskyP96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MatiyasevichN96,
  author    = {Yuri V. Matiyasevich and
               Anil Nerode},
  title     = {Preface - Papers in honor of the Symposium on Logical Foundations
               of Computer Science "Logic at St. Petersburg"},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {1},
  year      = {1996},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/MatiyasevichN96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeRY96,
  author    = {Anil Nerode and
               Jeffrey B. Remmel and
               Alexander Yakhnis},
  title     = {McNaughton Games and Extracting Strategies for Concurrent Programs},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {203--242},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00032-1},
  doi       = {10.1016/0168-0072(95)00032-1},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/NerodeRY96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Selivanov96,
  author    = {Victor L. Selivanov},
  title     = {On Recursively Enumerable Structures},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {243--258},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(94)00050-6},
  doi       = {10.1016/0168-0072(94)00050-6},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Selivanov96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Shelah96b,
  author    = {Saharon Shelah},
  title     = {Was Sierpinski Right? {III:} Can Continuum-cc. Times c.c.c. be Continuum-c.c.?},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {78},
  number    = {1-3},
  pages     = {259--269},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00036-4},
  doi       = {10.1016/0168-0072(95)00036-4},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/apal/Shelah96b.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics