Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/AsensioH07,
  author       = {Pedro A. Guil Asensio and
                  Ivo Herzog},
  title        = {Model-theoretic aspects of Sigma-cotorsion modules},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {1},
  pages        = {1--12},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2006.11.001},
  doi          = {10.1016/J.APAL.2006.11.001},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/AsensioH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Aspero07,
  author       = {David Asper{\'{o}}},
  title        = {Guessing and non-guessing of canonical functions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {2-3},
  pages        = {150--179},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.02.002},
  doi          = {10.1016/J.APAL.2007.02.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Aspero07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BergM07,
  author       = {Benno van den Berg and
                  Federico De Marchi},
  title        = {Non-well-founded trees in categories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {1},
  pages        = {40--59},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2006.12.001},
  doi          = {10.1016/J.APAL.2006.12.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BergM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Curi07,
  author       = {Giovanni Curi},
  title        = {Exact approximations to Stone-Cech compactification},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {2-3},
  pages        = {103--123},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2006.12.004},
  doi          = {10.1016/J.APAL.2006.12.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Curi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/DosenP07,
  author       = {Kosta Dosen and
                  Zoran Petric},
  title        = {Medial commutativity},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {2-3},
  pages        = {237--255},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.03.002},
  doi          = {10.1016/J.APAL.2007.03.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/DosenP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Hrubes07,
  author       = {Pavel Hrubes},
  title        = {A lower bound for intuitionistic logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {1},
  pages        = {72--90},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.01.001},
  doi          = {10.1016/J.APAL.2007.01.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hrubes07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KamareddineN07,
  author       = {Fairouz Kamareddine and
                  Karim Nour},
  title        = {A completeness result for a realisability semantics for an intersection
                  type system},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {2-3},
  pages        = {180--198},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.02.001},
  doi          = {10.1016/J.APAL.2007.02.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KamareddineN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Pillay07,
  author       = {Anand Pillay},
  title        = {Imaginaries in pairs of algebraically closed fields},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {1},
  pages        = {13--20},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2006.11.002},
  doi          = {10.1016/J.APAL.2006.11.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Pillay07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Sato07,
  author       = {Kentaro Sato},
  title        = {Double helix in large large cardinals and iteration of elementary
                  embeddings},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {2-3},
  pages        = {199--236},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.02.003},
  doi          = {10.1016/J.APAL.2007.02.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Sato07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Warren07,
  author       = {Michael A. Warren},
  title        = {Coalgebras in a category of classes},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {1},
  pages        = {60--71},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2006.12.003},
  doi          = {10.1016/J.APAL.2006.12.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Warren07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Willard07,
  author       = {Dan E. Willard},
  title        = {Passive induction and a solution to a Paris-Wilkie open question},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {2-3},
  pages        = {124--149},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.01.003},
  doi          = {10.1016/J.APAL.2007.01.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Willard07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Wu07,
  author       = {Guohua Wu},
  title        = {Intervals containing exactly one c.e. degree},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {1},
  pages        = {91--102},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.01.002},
  doi          = {10.1016/J.APAL.2007.01.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Wu07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Wynne07,
  author       = {Brian Wynne},
  title        = {Decidable theories of non-projectable l-groups of continuous functions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {146},
  number       = {1},
  pages        = {21--39},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2006.12.002},
  doi          = {10.1016/J.APAL.2006.12.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Wynne07.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.