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

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.