Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/Aretz89,
  author       = {F. E. J. Kruseman Aretz},
  title        = {A New Approach to Earley's Parsing Algorithm},
  journal      = {Sci. Comput. Program.},
  volume       = {12},
  number       = {2},
  pages        = {105--121},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90037-3},
  doi          = {10.1016/0167-6423(89)90037-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Aretz89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BidoitGM89,
  author       = {Michel Bidoit and
                  Marie{-}Claude Gaudel and
                  Anne Mauboussin},
  title        = {How to Make Algebraic Specifications More Understandable: An Experiment
                  with the {PLUSS} Specification Language},
  journal      = {Sci. Comput. Program.},
  volume       = {12},
  number       = {1},
  pages        = {1--38},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90026-9},
  doi          = {10.1016/0167-6423(89)90026-9},
  timestamp    = {Thu, 19 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BidoitGM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Bijlsma89,
  author       = {A. Bijlsma},
  title        = {Calculating with Pointers},
  journal      = {Sci. Comput. Program.},
  volume       = {12},
  number       = {3},
  pages        = {191--205},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90002-6},
  doi          = {10.1016/0167-6423(89)90002-6},
  timestamp    = {Thu, 28 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Bijlsma89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BirdGJ89,
  author       = {Richard S. Bird and
                  Jeremy Gibbons and
                  Geraint Jones},
  title        = {Formal Derivation of a Pattern Matching Algorithm},
  journal      = {Sci. Comput. Program.},
  volume       = {12},
  number       = {2},
  pages        = {93--104},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90036-1},
  doi          = {10.1016/0167-6423(89)90036-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BirdGJ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Blikle89,
  author       = {Andrzej Blikle},
  title        = {Denotational Engineering},
  journal      = {Sci. Comput. Program.},
  volume       = {12},
  number       = {3},
  pages        = {207--253},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90003-8},
  doi          = {10.1016/0167-6423(89)90003-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Blikle89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GriesMSU89,
  author       = {David Gries and
                  Alain J. Martin and
                  Jan L. A. van de Snepscheut and
                  Jan Tijmen Udding},
  title        = {An Algorithm for Transitive Reduction of an Acyclic Graph},
  journal      = {Sci. Comput. Program.},
  volume       = {12},
  number       = {2},
  pages        = {151--155},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90039-7},
  doi          = {10.1016/0167-6423(89)90039-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GriesMSU89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HallW89,
  author       = {Cordelia V. Hall and
                  David S. Wise},
  title        = {Generating Function Versions with Rational Strictness Patterns},
  journal      = {Sci. Comput. Program.},
  volume       = {12},
  number       = {1},
  pages        = {39--74},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90027-0},
  doi          = {10.1016/0167-6423(89)90027-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HallW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Nipkow89,
  author       = {Tobias Nipkow},
  title        = {Equational Reasoning in Isabelle},
  journal      = {Sci. Comput. Program.},
  volume       = {12},
  number       = {2},
  pages        = {123--149},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90038-5},
  doi          = {10.1016/0167-6423(89)90038-5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Nipkow89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Rem89,
  author       = {Martin Rem},
  title        = {Small Programming Exercises 23},
  journal      = {Sci. Comput. Program.},
  volume       = {12},
  number       = {1},
  pages        = {75--81},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90028-2},
  doi          = {10.1016/0167-6423(89)90028-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Rem89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Woude89,
  author       = {Jaap van der Woude},
  title        = {Playing with Patterns, Searching for Strings},
  journal      = {Sci. Comput. Program.},
  volume       = {12},
  number       = {3},
  pages        = {177--190},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90001-4},
  doi          = {10.1016/0167-6423(89)90001-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Woude89.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.