Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/AriolaB02,
  author    = {Zena M. Ariola and
               Stefan Blom},
  title     = {Skew confluence and the lambda calculus with letrec},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {117},
  number    = {1-3},
  pages     = {95--168},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0168-0072(01)00104-X},
  doi       = {10.1016/S0168-0072(01)00104-X},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/AriolaB02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowmZ02,
  author    = {Alan Dowm and
               Jinyuan Zhou},
  title     = {Partition subalgebras for maximal almost disjoint families},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {117},
  number    = {1-3},
  pages     = {223--259},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0168-0072(01)00120-8},
  doi       = {10.1016/S0168-0072(01)00120-8},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/DowmZ02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GasarchH02,
  author    = {William I. Gasarch and
               Geoffrey R. Hird},
  title     = {Automata techniques for query inference machines},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {117},
  number    = {1-3},
  pages     = {169--201},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0168-0072(01)00115-4},
  doi       = {10.1016/S0168-0072(01)00115-4},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/GasarchH02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Japaridze02,
  author    = {Giorgi Japaridze},
  title     = {The logic of tasks},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {117},
  number    = {1-3},
  pages     = {261--293},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0168-0072(01)00123-3},
  doi       = {10.1016/S0168-0072(01)00123-3},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Japaridze02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Lippe02,
  author    = {David Lippe},
  title     = {A contrast to the low basis theorem},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {117},
  number    = {1-3},
  pages     = {203--207},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0168-0072(01)00116-6},
  doi       = {10.1016/S0168-0072(01)00116-6},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Lippe02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Longley02,
  author    = {John Longley},
  title     = {The sequentially realizable functionals},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {117},
  number    = {1-3},
  pages     = {1--93},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0168-0072(01)00110-5},
  doi       = {10.1016/S0168-0072(01)00110-5},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Longley02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Wu02,
  author    = {Guohua Wu},
  title     = {Nonisolated degrees and the jump operator},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {117},
  number    = {1-3},
  pages     = {209--221},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0168-0072(01)00117-8},
  doi       = {10.1016/S0168-0072(01)00117-8},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Wu02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics