Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/BoffaMM97,
  author       = {Maurice Boffa and
                  Annalisa Marcja and
                  Daniele Mundici},
  title        = {Joint {AILA-KGS} Model Theory Meeting, Florence, Italy, 21-24 August
                  1995 - Preface},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {93},
  year         = {1997},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BoffaMM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Chatzidakis97,
  author       = {Zo{\'{e}} Chatzidakis},
  title        = {Model Theory of Finite Fields and Pseudo-Finite Fields},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {95--108},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00017-1},
  doi          = {10.1016/S0168-0072(97)00017-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Chatzidakis97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Dougherty97,
  author       = {Randall Dougherty},
  title        = {Narrow Coverings of omega-ary Product Spaces},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {1},
  pages        = {47--91},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00013-4},
  doi          = {10.1016/S0168-0072(97)00013-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Dougherty97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Evans97,
  author       = {David M. Evans},
  title        = {Finite Covers with Finite Kernels},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {109--147},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00018-3},
  doi          = {10.1016/S0168-0072(97)00018-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Evans97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/GhilardiZ97,
  author       = {Silvio Ghilardi and
                  Marek W. Zawadowski},
  title        = {Model Completions, r-Heyting Categories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {1},
  pages        = {27--46},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00012-2},
  doi          = {10.1016/S0168-0072(97)00012-2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/GhilardiZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KanoveiR97,
  author       = {Vladimir Kanovei and
                  Michael Reeken},
  title        = {Isomorphism Property in Nonstandard Extensions of the {ZFC} Universe},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {1},
  pages        = {1--25},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00011-0},
  doi          = {10.1016/S0168-0072(97)00011-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KanoveiR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KimP97,
  author       = {Byunghan Kim and
                  Anand Pillay},
  title        = {Simple Theories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {149--164},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00019-5},
  doi          = {10.1016/S0168-0072(97)00019-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KimP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Macintyre97,
  author       = {Angus Macintyre},
  title        = {Generic Automorphisms of Fields},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {165--180},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00020-1},
  doi          = {10.1016/S0168-0072(97)00020-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Macintyre97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Pillay97,
  author       = {Anand Pillay},
  title        = {Differential Galois Theory {II}},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {181--191},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00021-3},
  doi          = {10.1016/S0168-0072(97)00021-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Pillay97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Prest97,
  author       = {Mike Prest},
  title        = {Interpreting Modules in Modules},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {193--215},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00022-5},
  doi          = {10.1016/S0168-0072(97)00022-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Prest97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Robinson97,
  author       = {Zachary Robinson},
  title        = {Flatness and Smooth Points of p-adic Subanalytic Sets},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {217--225},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00023-7},
  doi          = {10.1016/S0168-0072(97)00023-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Robinson97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Rothmaler97,
  author       = {Philipp Rothmaler},
  title        = {Mittag-Leffler Modules},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {227--239},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00024-9},
  doi          = {10.1016/S0168-0072(97)00024-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Rothmaler97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Toffalori97,
  author       = {Carlo Toffalori},
  title        = {An Undecidability Theorem for Lattices Over Group Rings},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {241--262},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00025-0},
  doi          = {10.1016/S0168-0072(97)00025-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Toffalori97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Zambella97,
  author       = {Domenico Zambella},
  title        = {End Extensions of Models of Linearly Bounded Arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {2-3},
  pages        = {263--277},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00026-2},
  doi          = {10.1016/S0168-0072(97)00026-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Zambella97.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.