Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/scp/scp6.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-09-02 04:16 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
