Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/Barker88,
  author    = {E. Barker},
  title     = {Intrinsically gs;\({}^{\mbox{0}}\)\({}_{\mbox{alpha;}}\) relations},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {39},
  number    = {2},
  pages     = {105--130},
  year      = {1988},
  url       = {https://doi.org/10.1016/0168-0072(88)90014-0},
  doi       = {10.1016/0168-0072(88)90014-0},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Barker88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Belair88,
  author    = {Luc B{\'{e}}lair},
  title     = {Substructures and uniform elimination for p-adic fields},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {39},
  number    = {1},
  pages     = {1--17},
  year      = {1988},
  url       = {https://doi.org/10.1016/0168-0072(88)90043-7},
  doi       = {10.1016/0168-0072(88)90043-7},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Belair88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Farmer88,
  author    = {William M. Farmer},
  title     = {A unification algorithm for second-order monadic terms},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {39},
  number    = {2},
  pages     = {131--174},
  year      = {1988},
  url       = {https://doi.org/10.1016/0168-0072(88)90015-2},
  doi       = {10.1016/0168-0072(88)90015-2},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Farmer88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Gitik88,
  author    = {Moti Gitik},
  title     = {On the Mitchell and Rudin-Kiesler orderings of ultrafilters},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {39},
  number    = {2},
  pages     = {175--197},
  year      = {1988},
  url       = {https://doi.org/10.1016/0168-0072(88)90016-4},
  doi       = {10.1016/0168-0072(88)90016-4},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Gitik88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Groszek88,
  author    = {Marcia J. Groszek},
  title     = {Applications of iterated perfect set forcing},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {39},
  number    = {1},
  pages     = {19--53},
  year      = {1988},
  url       = {https://doi.org/10.1016/0168-0072(88)90044-9},
  doi       = {10.1016/0168-0072(88)90044-9},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Groszek88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Hodes88,
  author    = {Harold Hodes},
  title     = {Cardinality logics, part {I:} inclusions between languages based on
               'exactly'},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {39},
  number    = {3},
  pages     = {199--238},
  year      = {1988},
  url       = {https://doi.org/10.1016/0168-0072(88)90010-3},
  doi       = {10.1016/0168-0072(88)90010-3},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Hodes88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kucera88,
  author    = {Thomas G. Kucera},
  title     = {Totally transcendental theories of modules: decomposition of models
               and types},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {39},
  number    = {3},
  pages     = {239--272},
  year      = {1988},
  url       = {https://doi.org/10.1016/0168-0072(88)90011-5},
  doi       = {10.1016/0168-0072(88)90011-5},
  timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/apal/Kucera88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Srour88,
  author    = {Gabriel Srour},
  title     = {The notion of independence in categories of algebraic structures,
               part {II:} S-minimal extensions},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {39},
  number    = {1},
  pages     = {55--73},
  year      = {1988},
  url       = {https://doi.org/10.1016/0168-0072(88)90045-0},
  doi       = {10.1016/0168-0072(88)90045-0},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Srour88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Takeuti88,
  author    = {Gaisi Takeuti},
  title     = {Bounded arithmetic and truth definition},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {39},
  number    = {1},
  pages     = {75--104},
  year      = {1988},
  url       = {https://doi.org/10.1016/0168-0072(88)90046-2},
  doi       = {10.1016/0168-0072(88)90046-2},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Takeuti88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Welch88,
  author    = {Philip D. Welch},
  title     = {Some descriptive set theory and core models},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {39},
  number    = {3},
  pages     = {273--290},
  year      = {1988},
  url       = {https://doi.org/10.1016/0168-0072(88)90012-7},
  doi       = {10.1016/0168-0072(88)90012-7},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Welch88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics