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/scp8.bht:"
download as .bib file
@article{DBLP:journals/scp/Bird87,
author = {Richard S. Bird},
title = {A Formal Development of an Efficient Subercombinator Compiler},
journal = {Sci. Comput. Program.},
volume = {8},
number = {2},
pages = {113--137},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90017-7},
doi = {10.1016/0167-6423(87)90017-7},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Bird87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Cardelli87,
author = {Luca Cardelli},
title = {Basic Polymorphic Typechecking},
journal = {Sci. Comput. Program.},
volume = {8},
number = {2},
pages = {147--172},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90019-0},
doi = {10.1016/0167-6423(87)90019-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Cardelli87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Chisholm87,
author = {Paul Chisholm},
title = {Derivation of a Parsing Algorithm in Martin-L{\"{o}}f's Theory
of Types},
journal = {Sci. Comput. Program.},
volume = {8},
number = {1},
pages = {1--42},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90002-5},
doi = {10.1016/0167-6423(87)90002-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Chisholm87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CousineauCM87,
author = {Guy Cousineau and
Pierre{-}Louis Curien and
Michel Mauny},
title = {The Categorical Abstract Machine},
journal = {Sci. Comput. Program.},
volume = {8},
number = {2},
pages = {173--202},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90020-7},
doi = {10.1016/0167-6423(87)90020-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CousineauCM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EmersonL87,
author = {E. Allen Emerson and
Chin{-}Laung Lei},
title = {Modalities for Model Checking: Branching Time Logic Strikes Back},
journal = {Sci. Comput. Program.},
volume = {8},
number = {3},
pages = {275--306},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90036-0},
doi = {10.1016/0167-6423(87)90036-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/EmersonL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GriesP87,
author = {David Gries and
Jan F. Prins},
title = {McLaren's Masterpiece},
journal = {Sci. Comput. Program.},
volume = {8},
number = {2},
pages = {139--145},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90018-9},
doi = {10.1016/0167-6423(87)90018-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GriesP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Harel87,
author = {David Harel},
title = {Statecharts: {A} Visual Formalism for Complex Systems},
journal = {Sci. Comput. Program.},
volume = {8},
number = {3},
pages = {231--274},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90035-9},
doi = {10.1016/0167-6423(87)90035-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Harel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JosephMS87,
author = {Mathai Joseph and
Abha Moitra and
Neelam Soundararajan},
title = {Proof Rules for Fault Tolerant Distributed Programs},
journal = {Sci. Comput. Program.},
volume = {8},
number = {1},
pages = {43--67},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90003-7},
doi = {10.1016/0167-6423(87)90003-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JosephMS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KirchnerK87,
author = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {{REVEUR-3:} The Implementation of a General Completion Procedure Parameterized
by Built-in Theories and Strategies},
journal = {Sci. Comput. Program.},
volume = {8},
number = {1},
pages = {69--86},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90004-9},
doi = {10.1016/0167-6423(87)90004-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KirchnerK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KolblW87,
author = {Stefan K{\"{o}}lbl and
Mitchell Wand},
title = {Linear Future Semantics and Its Implementation},
journal = {Sci. Comput. Program.},
volume = {8},
number = {1},
pages = {87--103},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90005-0},
doi = {10.1016/0167-6423(87)90005-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KolblW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Rem87,
author = {Martin Rem},
title = {Small Programming Exercises 15},
journal = {Sci. Comput. Program.},
volume = {8},
number = {1},
pages = {105--112},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90006-2},
doi = {10.1016/0167-6423(87)90006-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Rem87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Rem87a,
author = {Martin Rem},
title = {Small Programming Exercises 16},
journal = {Sci. Comput. Program.},
volume = {8},
number = {2},
pages = {203--211},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90021-9},
doi = {10.1016/0167-6423(87)90021-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Rem87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Rem87b,
author = {Martin Rem},
title = {Small Programming Exercises 17},
journal = {Sci. Comput. Program.},
volume = {8},
number = {3},
pages = {307--313},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90037-2},
doi = {10.1016/0167-6423(87)90037-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Rem87b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Smith87,
author = {Douglas R. Smith},
title = {Applications of a Strategy for Designing Divide-and-Conquer Algorithms},
journal = {Sci. Comput. Program.},
volume = {8},
number = {3},
pages = {213--229},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90034-7},
doi = {10.1016/0167-6423(87)90034-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Smith87.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-05-27 01:11 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:
