Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/CaiCDF97,
  author       = {Liming Cai and
                  Jianer Chen and
                  Rodney G. Downey and
                  Michael R. Fellows},
  title        = {Advice Classes of Parameterized Tractability},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {1},
  pages        = {119--138},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(95)00020-8},
  doi          = {10.1016/S0168-0072(95)00020-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/CaiCDF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Gallier97a,
  author       = {Jean H. Gallier},
  title        = {Kripke Models and the (In)equational Logic of the Second-Order lambda-Calculus},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {3},
  pages        = {257--316},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00039-5},
  doi          = {10.1016/S0168-0072(96)00039-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Gallier97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HaughtS97,
  author       = {Christine Ann Haught and
                  Theodore A. Slaman},
  title        = {Automorphisms in the PTIME-Turing Degrees of Recursive Sets},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {1},
  pages        = {139--152},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(95)00065-8},
  doi          = {10.1016/S0168-0072(95)00065-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HaughtS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Hebert97,
  author       = {Michel H{\'{e}}bert},
  title        = {Syntactic Characterizations of Closure Under Pullbacks and of Locally
                  Polypresentable Categories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {1},
  pages        = {73--95},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00044-9},
  doi          = {10.1016/S0168-0072(96)00044-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hebert97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/JainS97,
  author       = {Sanjay Jain and
                  Arun Sharma},
  title        = {Characterizing Language Identification in Terms of Computable Numberings},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {1},
  pages        = {51--72},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(95)00064-X},
  doi          = {10.1016/S0168-0072(95)00064-X},
  timestamp    = {Tue, 21 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/JainS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Jeavons97,
  author       = {John S. Jeavons},
  title        = {An Alternative Linear Semantics for Allowed Logic Programs},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {1},
  pages        = {3--16},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00038-3},
  doi          = {10.1016/S0168-0072(96)00038-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Jeavons97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kashima97,
  author       = {Ryo Kashima},
  title        = {Contraction-Elimination for Implicational Logics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {1},
  pages        = {17--39},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)81394-2},
  doi          = {10.1016/S0168-0072(97)81394-2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Kashima97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Loader97,
  author       = {Ralph Loader},
  title        = {Equational Theories for Inductive Types},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {2},
  pages        = {175--217},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00021-8},
  doi          = {10.1016/S0168-0072(96)00021-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Loader97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/MitchellSS97,
  author       = {William J. Mitchell and
                  Ernest Schimmerling and
                  John R. Steel},
  title        = {The Covering Lemma up to a Woodin Cardinal},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {2},
  pages        = {219--255},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00032-2},
  doi          = {10.1016/S0168-0072(96)00032-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/MitchellSS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Oosten97,
  author       = {Jaap van Oosten},
  title        = {Extensional Realizability},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {3},
  pages        = {317--349},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00050-4},
  doi          = {10.1016/S0168-0072(96)00050-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Oosten97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Shelah97,
  author       = {Saharon Shelah},
  title        = {Colouring and Non-Productivity of aleph\({}_{\mbox{2}}\)-C.C},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {2},
  pages        = {153--174},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00020-6},
  doi          = {10.1016/S0168-0072(96)00020-6},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Shelah97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Shinoda97,
  author       = {Juichi Shinoda},
  title        = {Strong Polynomial-Time Reducibility},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {1},
  pages        = {97--117},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00037-1},
  doi          = {10.1016/S0168-0072(96)00037-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Shinoda97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Tanaka97,
  author       = {Kazuyuki Tanaka},
  title        = {The Self-Embedding Theorem of WKL\({}_{\mbox{0}}\) and a Non-Standard
                  Method},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {84},
  number       = {1},
  pages        = {41--49},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(95)00058-5},
  doi          = {10.1016/S0168-0072(95)00058-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Tanaka97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.