Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/BijlsmaS96,
  author       = {A. Bijlsma and
                  Carel S. Scholten},
  title        = {Point-free Substitution},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {2},
  pages        = {205--214},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(96)00010-X},
  doi          = {10.1016/0167-6423(96)00010-X},
  timestamp    = {Thu, 28 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BijlsmaS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BossiBGLM96,
  author       = {Annalisa Bossi and
                  Michele Bugliesi and
                  Maurizio Gabbrielli and
                  Giorgio Levi and
                  Maria Chiara Meo},
  title        = {Differential Logic Programs: Programming Methodologies and Semantics},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {3},
  pages        = {217--262},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(96)00013-5},
  doi          = {10.1016/0167-6423(96)00013-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BossiBGLM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Butler96,
  author       = {Michael J. Butler},
  title        = {Stepwise Refinement of Communicating Systems},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {2},
  pages        = {139--173},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(96)81173-7},
  doi          = {10.1016/0167-6423(96)81173-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Butler96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DugganB96,
  author       = {Dominic Duggan and
                  Frederick Bent},
  title        = {Explaining Type Inference},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {1},
  pages        = {37--83},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(95)00007-0},
  doi          = {10.1016/0167-6423(95)00007-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DugganB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FrostS96,
  author       = {Richard A. Frost and
                  Barbara Szydlowski},
  title        = {Memoizing Purely Functional Top-Down Backtracking Language Processors},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {3},
  pages        = {263--288},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(96)00014-7},
  doi          = {10.1016/0167-6423(96)00014-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FrostS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Hayes96,
  author       = {Ian J. Hayes},
  title        = {Supporting Module Reuse in Refinement},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {2},
  pages        = {175--184},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(96)00006-8},
  doi          = {10.1016/0167-6423(96)00006-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Hayes96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KatoenS96,
  author       = {Joost{-}Pieter Katoen and
                  Berry Schoenmakers},
  title        = {Systolic Arrays for the Recognition of Permutation-Invariant Segments},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {2},
  pages        = {119--137},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(96)00009-3},
  doi          = {10.1016/0167-6423(96)00009-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KatoenS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Nishimura96,
  author       = {Susumu Nishimura},
  title        = {Integrating Different Versions of Programs with Backward and Forward
                  Slicesa},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {1},
  pages        = {1--35},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(95)00018-6},
  doi          = {10.1016/0167-6423(95)00018-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Nishimura96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SeamanI96,
  author       = {Jill Seaman and
                  S. Purushothaman Iyer},
  title        = {An Operational Semantics of Sharing in Lazy Evaluation},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {3},
  pages        = {289--322},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(96)00012-3},
  doi          = {10.1016/0167-6423(96)00012-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SeamanI96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SegersE96,
  author       = {John Segers and
                  Jo C. Ebergen},
  title        = {Design and Analysis of Up-Down Counters},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {2},
  pages        = {185--204},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(96)00005-6},
  doi          = {10.1016/0167-6423(96)00005-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SegersE96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/WadaY96,
  author       = {Eiiti Wada and
                  Akinori Yonezawa},
  title        = {Obituary: Professor Nobuo Yoneda {(28} March 1930-22 April 1996)},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {3},
  pages        = {215--216},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(96)88115-9},
  doi          = {10.1016/0167-6423(96)88115-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/WadaY96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/WatsonZ96,
  author       = {Bruce W. Watson and
                  Gerard Zwaan},
  title        = {A Taxonomy of Sublinear Multiple Keyword Pattern Matching Algorithms},
  journal      = {Sci. Comput. Program.},
  volume       = {27},
  number       = {2},
  pages        = {85--118},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-6423(96)00008-1},
  doi          = {10.1016/0167-6423(96)00008-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/WatsonZ96.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.