Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/AndrekaGMNS98,
  author       = {Hajnal Andr{\'{e}}ka and
                  Steven Givant and
                  Szabolcs Mikul{\'{a}}s and
                  Istv{\'{a}}n N{\'{e}}meti and
                  Andr{\'{a}}s Simon},
  title        = {Notions of Density That Imply Representability in Algebraic Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {91},
  number       = {2-3},
  pages        = {93--190},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(98)00032-3},
  doi          = {10.1016/S0168-0072(98)00032-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/AndrekaGMNS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/ButzJ98,
  author       = {Carsten Butz and
                  Peter T. Johnstone},
  title        = {Classifying Toposes for First-Order Theories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {91},
  number       = {1},
  pages        = {33--58},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)00042-0},
  doi          = {10.1016/S0168-0072(97)00042-0},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/ButzJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Gallier98,
  author       = {Jean H. Gallier},
  title        = {Typing Untyped lambda-Terms, or Reducibility Strikes Again!},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {91},
  number       = {2-3},
  pages        = {231--270},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)00047-X},
  doi          = {10.1016/S0168-0072(97)00047-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Gallier98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Hamkins98,
  author       = {Joel David Hamkins},
  title        = {Destruction or Preservation as You Like It},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {91},
  number       = {2-3},
  pages        = {191--229},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)00044-4},
  doi          = {10.1016/S0168-0072(97)00044-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hamkins98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Khoussainov98,
  author       = {Bakhadyr Khoussainov},
  title        = {Randomness, Computability, and Algebraic Specifications},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {91},
  number       = {1},
  pages        = {1--15},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)00040-7},
  doi          = {10.1016/S0168-0072(97)00040-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Khoussainov98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Lombardi98,
  author       = {Henri Lombardi},
  title        = {Relecture constructive de la th{\'{e}}orie d'Artin-Schreier},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {91},
  number       = {1},
  pages        = {59--92},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)80700-2},
  doi          = {10.1016/S0168-0072(97)80700-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Lombardi98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Raffalli98,
  author       = {Christophe Raffalli},
  title        = {A Semantical Storage Operator Theorem for All Types},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {91},
  number       = {1},
  pages        = {17--31},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0168-0072(97)00041-9},
  doi          = {10.1016/S0168-0072(97)00041-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Raffalli98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}