Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/ArdeshirRS03,
  author    = {Mohammad Ardeshir and
               Wim Ruitenburg and
               Saeed Salehi},
  title     = {Intuitionistic axiomatizations for bounded extension Kripke models},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {124},
  number    = {1-3},
  pages     = {267--285},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(03)00058-7},
  doi       = {10.1016/S0168-0072(03)00058-7},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/ArdeshirRS03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArecesBM03,
  author    = {Carlos Areces and
               Patrick Blackburn and
               Maarten Marx},
  title     = {Repairing the interpolation theorem in quantified modal logic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {124},
  number    = {1-3},
  pages     = {287--299},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(03)00059-9},
  doi       = {10.1016/S0168-0072(03)00059-9},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/apal/ArecesBM03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CookK03,
  author    = {Stephen A. Cook and
               Antonina Kolokolova},
  title     = {A second-order system for polytime reasoning based on Gr{\"{a}}del's
               theorem},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {124},
  number    = {1-3},
  pages     = {193--231},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(03)00056-3},
  doi       = {10.1016/S0168-0072(03)00056-3},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/CookK03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CoquandSSV03,
  author    = {Thierry Coquand and
               Giovanni Sambin and
               Jan M. Smith and
               Silvio Valentini},
  title     = {Inductively generated formal topologies},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {124},
  number    = {1-3},
  pages     = {71--106},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(03)00052-6},
  doi       = {10.1016/S0168-0072(03)00052-6},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/CoquandSSV03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DybjerS03,
  author    = {Peter Dybjer and
               Anton Setzer},
  title     = {Induction-recursion and initial algebras},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {124},
  number    = {1-3},
  pages     = {1--47},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(02)00096-9},
  doi       = {10.1016/S0168-0072(02)00096-9},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/DybjerS03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KalantariW03,
  author    = {Iraj Kalantari and
               Larry Welch},
  title     = {A blend of methods of recursion theory and topology},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {124},
  number    = {1-3},
  pages     = {141--178},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(03)00054-X},
  doi       = {10.1016/S0168-0072(03)00054-X},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/KalantariW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Konig03,
  author    = {Bernhard K{\"{o}}nig},
  title     = {Local coherence},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {124},
  number    = {1-3},
  pages     = {107--139},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(03)00053-8},
  doi       = {10.1016/S0168-0072(03)00053-8},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Konig03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kurilic03a,
  author    = {Milos S. Kurilic},
  title     = {Independence of Boolean algebras and forcing},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {124},
  number    = {1-3},
  pages     = {179--191},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(03)00055-1},
  doi       = {10.1016/S0168-0072(03)00055-1},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Kurilic03a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Li03,
  author    = {Dafa Li},
  title     = {Using the prover {ANDP} to simplify orthogonality},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {124},
  number    = {1-3},
  pages     = {49--70},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(03)00051-4},
  doi       = {10.1016/S0168-0072(03)00051-4},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Li03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Schlindwein03,
  author    = {Chaz Schlindwein},
  title     = {{SH} plus {CH} does not imply stationary antichains},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {124},
  number    = {1-3},
  pages     = {233--265},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0168-0072(03)00057-5},
  doi       = {10.1016/S0168-0072(03)00057-5},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Schlindwein03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics