Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/Bagaria94,
  author       = {Joan Bagaria},
  title        = {Fragments of Martin's axiom and Delta\({}^{\mbox{1}}\)\({}_{\mbox{3}}\)
                  Sets of Reals},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {1},
  pages        = {1--25},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90017-5},
  doi          = {10.1016/0168-0072(94)90017-5},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Bagaria94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Dowek94,
  author       = {Gilles Dowek},
  title        = {Third Order Matching is Decidable},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {2-3},
  pages        = {135--155},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90083-3},
  doi          = {10.1016/0168-0072(94)90083-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Dowek94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/GivantS94,
  author       = {Steven Givant and
                  Saharon Shelah},
  title        = {Universal Theories Categorical in Power and kappa-Generated Models},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {1},
  pages        = {27--51},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90018-3},
  doi          = {10.1016/0168-0072(94)90018-3},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/GivantS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HalpernK94,
  author       = {Joseph Y. Halpern and
                  Bruce M. Kapron},
  title        = {Zero-One Laws for Modal Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {2-3},
  pages        = {157--193},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90084-1},
  doi          = {10.1016/0168-0072(94)90084-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HalpernK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HartS94,
  author       = {Bradd Hart and
                  Sergei Starchenko},
  title        = {Superstable Quasi-Varieties},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {1},
  pages        = {53--71},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90019-1},
  doi          = {10.1016/0168-0072(94)90019-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HartS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Jacobs94,
  author       = {Bart Jacobs},
  title        = {Semantics of Weakening and Contraction},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {1},
  pages        = {73--106},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90020-5},
  doi          = {10.1016/0168-0072(94)90020-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Jacobs94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/JinS94,
  author       = {Renling Jin and
                  Saharon Shelah},
  title        = {Essential Kurepa Trees versus Essential Jech-Kunen Trees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {1},
  pages        = {107--131},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90021-3},
  doi          = {10.1016/0168-0072(94)90021-3},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/JinS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kanovich94,
  author       = {Max I. Kanovich},
  title        = {The Complexity of Horn Fragments of Linear Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {2-3},
  pages        = {195--241},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90085-X},
  doi          = {10.1016/0168-0072(94)90085-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kanovich94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Klarlund94,
  author       = {Nils Klarlund},
  title        = {Progress Measures, Immediate Determinacy, and a Subset Construction
                  for Tree Automata},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {2-3},
  pages        = {243--268},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90086-8},
  doi          = {10.1016/0168-0072(94)90086-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Klarlund94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Nakano94,
  author       = {Hiroshi Nakano},
  title        = {A Constructive Logic Behind the Catch and Throw Mechanism},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {2-3},
  pages        = {269--301},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90087-6},
  doi          = {10.1016/0168-0072(94)90087-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Nakano94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Scedrov94,
  author       = {Andre Scedrov},
  title        = {Preface - Invited papers presented at the 1992 {IEEE} Symposium on
                  Logic in Computer Science},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {69},
  number       = {2-3},
  pages        = {133},
  year         = {1994},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Scedrov94.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.