![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/scp/scp6.bht:"
@article{DBLP:journals/scp/Bellegarde86, author = {Fran{\c{c}}oise Bellegarde}, title = {Rewriting Systems on {FP} Expressions to Reduce the Number of Sequences Yielded}, journal = {Sci. Comput. Program.}, volume = {6}, number = {1}, pages = {11--34}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90017-1}, doi = {10.1016/0167-6423(86)90017-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Bellegarde86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Bird86, author = {Richard S. Bird}, title = {Transformational Programming and the Paragraph Problem}, journal = {Sci. Comput. Program.}, volume = {6}, number = {2}, pages = {159--189}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90023-7}, doi = {10.1016/0167-6423(86)90023-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Bird86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/DiepenR86, author = {N. W. P. van Diepen and Willem P. de Roever}, title = {Program Derivation Through Transformations: The Evolution of List-Copying Algorithms}, journal = {Sci. Comput. Program.}, volume = {6}, number = {3}, pages = {213--272}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90026-2}, doi = {10.1016/0167-6423(86)90026-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/DiepenR86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Fairbairn86, author = {Jon Fairbairn}, title = {A New Type-Checker for a Functional Language}, journal = {Sci. Comput. Program.}, volume = {6}, number = {3}, pages = {273--290}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90027-4}, doi = {10.1016/0167-6423(86)90027-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Fairbairn86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/FrancezHT86, author = {Nissim Francez and Brent Hailpern and Gadi Taubenfeld}, title = {Script: {A} Communication Abstraction Mechanism and Its Verification}, journal = {Sci. Comput. Program.}, volume = {6}, number = {1}, pages = {35--88}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90018-3}, doi = {10.1016/0167-6423(86)90018-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/FrancezHT86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/GuttagH86, author = {John V. Guttag and James J. Horning}, title = {Report on the Larch Shared Language}, journal = {Sci. Comput. Program.}, volume = {6}, number = {2}, pages = {103--134}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90021-3}, doi = {10.1016/0167-6423(86)90021-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/GuttagH86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/GuttagH86a, author = {John V. Guttag and James J. Horning}, title = {A Larch Shared Language Handbook}, journal = {Sci. Comput. Program.}, volume = {6}, number = {2}, pages = {135--157}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90022-5}, doi = {10.1016/0167-6423(86)90022-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/GuttagH86a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/McCurleyS86, author = {Robert McCurley and Fred B. Schneider}, title = {Derivation of a Distributed Algorithm for Finding Paths in Directed Networks}, journal = {Sci. Comput. Program.}, volume = {6}, number = {1}, pages = {1--9}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90016-X}, doi = {10.1016/0167-6423(86)90016-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/McCurleyS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Rem86, author = {Martin Rem}, title = {Small Programming Exercises 9}, journal = {Sci. Comput. Program.}, volume = {6}, number = {1}, pages = {95--102}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90020-1}, doi = {10.1016/0167-6423(86)90020-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Rem86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Rem86a, author = {Martin Rem}, title = {Small Programming Exercises 10}, journal = {Sci. Comput. Program.}, volume = {6}, number = {2}, pages = {207--211}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90025-0}, doi = {10.1016/0167-6423(86)90025-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Rem86a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Rem86b, author = {Martin Rem}, title = {Small Programming Exercises 11}, journal = {Sci. Comput. Program.}, volume = {6}, number = {3}, pages = {313--318}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90029-8}, doi = {10.1016/0167-6423(86)90029-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Rem86b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Stoye86, author = {William Stoye}, title = {Message-Based Functional Operating Systems}, journal = {Sci. Comput. Program.}, volume = {6}, number = {3}, pages = {291--311}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90028-6}, doi = {10.1016/0167-6423(86)90028-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Stoye86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Wiltink86, author = {J. G. Wiltink}, title = {Two Most Nondeterministic Programs}, journal = {Sci. Comput. Program.}, volume = {6}, number = {1}, pages = {89--94}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90019-5}, doi = {10.1016/0167-6423(86)90019-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Wiltink86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Zielinski86, author = {Krzysztof Zielinski}, title = {Model of Error Propagation in Systems of Communicating Processes}, journal = {Sci. Comput. Program.}, volume = {6}, number = {2}, pages = {191--205}, year = {1986}, url = {https://doi.org/10.1016/0167-6423(86)90024-9}, doi = {10.1016/0167-6423(86)90024-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Zielinski86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.