Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/Bondorf91,
  author       = {Anders Bondorf},
  title        = {Automatic Autoprojection of Higher Order Recursive Equations},
  journal      = {Sci. Comput. Program.},
  volume       = {17},
  number       = {1-3},
  pages        = {3--34},
  year         = {1991},
  url          = {https://doi.org/10.1016/0167-6423(91)90035-V},
  doi          = {10.1016/0167-6423(91)90035-V},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Bondorf91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Felleisen91,
  author       = {Matthias Felleisen},
  title        = {On the Expressive Power of Programming Languages},
  journal      = {Sci. Comput. Program.},
  volume       = {17},
  number       = {1-3},
  pages        = {35--75},
  year         = {1991},
  url          = {https://doi.org/10.1016/0167-6423(91)90036-W},
  doi          = {10.1016/0167-6423(91)90036-W},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Felleisen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Heckmann91,
  author       = {Reinhold Heckmann},
  title        = {Power Domain Constructions},
  journal      = {Sci. Comput. Program.},
  volume       = {17},
  number       = {1-3},
  pages        = {77--117},
  year         = {1991},
  url          = {https://doi.org/10.1016/0167-6423(91)90037-X},
  doi          = {10.1016/0167-6423(91)90037-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Heckmann91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Helmink91,
  author       = {Leen Helmink},
  title        = {Resolution and Type Theory},
  journal      = {Sci. Comput. Program.},
  volume       = {17},
  number       = {1-3},
  pages        = {119--138},
  year         = {1991},
  url          = {https://doi.org/10.1016/0167-6423(91)90038-Y},
  doi          = {10.1016/0167-6423(91)90038-Y},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Helmink91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Jones91,
  author       = {Neil D. Jones},
  title        = {Foreword (Selected Papers of {ESOP} '90)},
  journal      = {Sci. Comput. Program.},
  volume       = {17},
  number       = {1-3},
  pages        = {1--2},
  year         = {1991},
  timestamp    = {Thu, 27 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Jones91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Reps91,
  author       = {Thomas W. Reps},
  title        = {Algebraic Properties of Program Integration},
  journal      = {Sci. Comput. Program.},
  volume       = {17},
  number       = {1-3},
  pages        = {139--215},
  year         = {1991},
  url          = {https://doi.org/10.1016/0167-6423(91)90039-Z},
  doi          = {10.1016/0167-6423(91)90039-Z},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Reps91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Thatte91,
  author       = {Satish Thatt{\'{e}}},
  title        = {A Type System for Implicit Scaling},
  journal      = {Sci. Comput. Program.},
  volume       = {17},
  number       = {1-3},
  pages        = {217--245},
  year         = {1991},
  url          = {https://doi.org/10.1016/0167-6423(91)90040-5},
  doi          = {10.1016/0167-6423(91)90040-5},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Thatte91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}