Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/AbramskyJ05,
  author    = {Samson Abramsky and
               Radha Jagadeesan},
  title     = {A game semantics for generic polymorphism},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {3--37},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.002},
  doi       = {10.1016/j.apal.2004.10.002},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/AbramskyJ05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AehligJ05,
  author    = {Klaus Aehlig and
               Felix Joachimski},
  title     = {Continuous normalization for the lambda-calculus and G{\"{o}}del's},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {39--71},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.003},
  doi       = {10.1016/j.apal.2004.10.003},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/AehligJ05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AlberucciJ05,
  author    = {Luca Alberucci and
               Gerhard J{\"{a}}ger},
  title     = {About cut elimination for logics of common knowledge},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {73--99},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.004},
  doi       = {10.1016/j.apal.2004.10.004},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/AlberucciJ05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BadbanP05,
  author    = {Bahareh Badban and
               Jaco van de Pol},
  title     = {Zero, successor and equality in BDDs},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {101--123},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.005},
  doi       = {10.1016/j.apal.2004.10.005},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/BadbanP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Berger05,
  author    = {Ulrich Berger},
  title     = {Uniform Heyting arithmetic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {125--148},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.006},
  doi       = {10.1016/j.apal.2004.10.006},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Berger05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Borger05,
  author    = {Egon B{\"{o}}rger},
  title     = {Abstract State Machines: a unifying view of models of computation
               and of system design frameworks},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {149--171},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.007},
  doi       = {10.1016/j.apal.2004.10.007},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Borger05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BuchholzK05,
  author    = {Wilfried Buchholz and
               Reinhard Kahle},
  title     = {Preface},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {1},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.001},
  doi       = {10.1016/j.apal.2004.10.001},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/BuchholzK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/EsikL05,
  author    = {Zolt{\'{a}}n {\'{E}}sik and
               Hans Lei{\ss}},
  title     = {Algebraically complete semirings and Greibach normal form},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {173--203},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.008},
  doi       = {10.1016/j.apal.2004.10.008},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/EsikL05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Matthes05,
  author    = {Ralph Matthes},
  title     = {Non-strictly positive fixed points for classical natural deduction},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {205--230},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.009},
  doi       = {10.1016/j.apal.2004.10.009},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Matthes05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MintsZ05,
  author    = {Grigori Mints and
               Ting Zhang},
  title     = {A proof of topological completeness for \emph{S}4 in (0, 1)},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {231--245},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.010},
  doi       = {10.1016/j.apal.2004.10.010},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/MintsZ05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Niggl05,
  author    = {Karl{-}Heinz Niggl},
  title     = {Control structures in programs and computational complexity},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {247--273},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.011},
  doi       = {10.1016/j.apal.2004.10.011},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Niggl05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/OstrinW05,
  author    = {Geoffrey E. Ostrin and
               Stanley S. Wainer},
  title     = {Elementary arithmetic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {275--292},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.012},
  doi       = {10.1016/j.apal.2004.10.012},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/OstrinW05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SiegF05,
  author    = {Wilfried Sieg and
               Clinton Field},
  title     = {Automated search for G{\"{o}}del's proofs},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {319--338},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.014},
  doi       = {10.1016/j.apal.2004.10.014},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/SiegF05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Stark05,
  author    = {Robert F. St{\"{a}}rk},
  title     = {Axioms for strict and lazy functional programs},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {133},
  number    = {1-3},
  pages     = {293--318},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.apal.2004.10.013},
  doi       = {10.1016/j.apal.2004.10.013},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Stark05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics