Search dblp for Publications

export results for "toc:db/journals/scp/scp18.bht:"

 download as .bib file

@article{DBLP:journals/scp/Bird92,
  author       = {Richard S. Bird},
  title        = {The Smallest Upravel},
  journal      = {Sci. Comput. Program.},
  volume       = {18},
  number       = {3},
  pages        = {281--292},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-6423(92)90020-C},
  doi          = {10.1016/0167-6423(92)90020-C},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Bird92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Boiten92,
  author       = {Eerke A. Boiten},
  title        = {Improving Recursive Functions by Inverting the Order of Evaluation},
  journal      = {Sci. Comput. Program.},
  volume       = {18},
  number       = {2},
  pages        = {139--179},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-6423(92)90008-Y},
  doi          = {10.1016/0167-6423(92)90008-Y},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Boiten92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BouajjaniFHR92,
  author       = {Ahmed Bouajjani and
                  Jean{-}Claude Fernandez and
                  Nicolas Halbwachs and
                  Pascal Raymond},
  title        = {Minimal State Graph Generation},
  journal      = {Sci. Comput. Program.},
  volume       = {18},
  number       = {3},
  pages        = {247--269},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-6423(92)90018-7},
  doi          = {10.1016/0167-6423(92)90018-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BouajjaniFHR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Ebergen92,
  author       = {Jo C. Ebergen},
  title        = {Arbiters: An Exercise in Specifying and Decomposing Asynchronously
                  Communicating Components},
  journal      = {Sci. Comput. Program.},
  volume       = {18},
  number       = {3},
  pages        = {223--245},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-6423(92)90017-6},
  doi          = {10.1016/0167-6423(92)90017-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Ebergen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GardinerP92,
  author       = {Paul H. B. Gardiner and
                  Paritosh K. Pandya},
  title        = {Reasoning Algebraically about Recursion},
  journal      = {Sci. Comput. Program.},
  volume       = {18},
  number       = {3},
  pages        = {271--280},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-6423(92)90019-8},
  doi          = {10.1016/0167-6423(92)90019-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GardinerP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Heisel92,
  author       = {Maritta Heisel},
  title        = {Formalizing and Implementing Gries' Program Development Method in
                  Dynamic Logic},
  journal      = {Sci. Comput. Program.},
  volume       = {18},
  number       = {1},
  pages        = {107--137},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-6423(92)90035-A},
  doi          = {10.1016/0167-6423(92)90035-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Heisel92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Maassen92,
  author       = {Andreas Maa{\ss}en},
  title        = {Parallel Programming with Data Structures and Higher Order Functions},
  journal      = {Sci. Comput. Program.},
  volume       = {18},
  number       = {1},
  pages        = {1--38},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-6423(92)90032-7},
  doi          = {10.1016/0167-6423(92)90032-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Maassen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MiliM92,
  author       = {Fatma Mili and
                  Ali Mili},
  title        = {Heuristics for Constructing While Loops},
  journal      = {Sci. Comput. Program.},
  volume       = {18},
  number       = {1},
  pages        = {67--106},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-6423(92)90034-9},
  doi          = {10.1016/0167-6423(92)90034-9},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MiliM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Reade92,
  author       = {Chris Reade},
  title        = {Balanced Trees with Removals: An Exercise in Rewriting and Proof},
  journal      = {Sci. Comput. Program.},
  volume       = {18},
  number       = {2},
  pages        = {181--204},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-6423(92)90009-Z},
  doi          = {10.1016/0167-6423(92)90009-Z},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Reade92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Zantema92,
  author       = {Hans Zantema},
  title        = {Longest Segment Problems},
  journal      = {Sci. Comput. Program.},
  volume       = {18},
  number       = {1},
  pages        = {39--66},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-6423(92)90033-8},
  doi          = {10.1016/0167-6423(92)90033-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Zantema92.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.