Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/scp/scp43.bht:"
@article{DBLP:journals/scp/AbramovG02, author = {Sergei M. Abramov and Robert Gl{\"{u}}ck}, title = {The universal resolving algorithm and its correctness: inverse computation in a functional language}, journal = {Sci. Comput. Program.}, volume = {43}, number = {2-3}, pages = {193--229}, year = {2002}, url = {https://doi.org/10.1016/S0167-6423(02)00023-0}, doi = {10.1016/S0167-6423(02)00023-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AbramovG02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Hayes02, author = {Ian J. Hayes}, title = {Reasoning about real-time repetitions: terminating and nonterminating}, journal = {Sci. Comput. Program.}, volume = {43}, number = {2-3}, pages = {161--192}, year = {2002}, url = {https://doi.org/10.1016/S0167-6423(02)00024-2}, doi = {10.1016/S0167-6423(02)00024-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Hayes02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Hinze02, author = {Ralf Hinze}, title = {Polytypic values possess polykinded types}, journal = {Sci. Comput. Program.}, volume = {43}, number = {2-3}, pages = {129--159}, year = {2002}, url = {https://doi.org/10.1016/S0167-6423(02)00025-4}, doi = {10.1016/S0167-6423(02)00025-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Hinze02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/JanssonJ02, author = {Patrik Jansson and Johan Jeuring}, title = {Polytypic data conversion programs}, journal = {Sci. Comput. Program.}, volume = {43}, number = {1}, pages = {35--75}, year = {2002}, url = {https://doi.org/10.1016/S0167-6423(01)00020-X}, doi = {10.1016/S0167-6423(01)00020-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/JanssonJ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/MorrisB02, author = {Joseph M. Morris and Alexander Bunkenburg}, title = {A source of inconsistency in theories of nondeterministic functions}, journal = {Sci. Comput. Program.}, volume = {43}, number = {1}, pages = {77--89}, year = {2002}, url = {https://doi.org/10.1016/S0167-6423(01)00022-3}, doi = {10.1016/S0167-6423(01)00022-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/MorrisB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Nordlander02, author = {Johan Nordlander}, title = {Polymorphic subtyping in O'Haskell}, journal = {Sci. Comput. Program.}, volume = {43}, number = {2-3}, pages = {93--127}, year = {2002}, url = {https://doi.org/10.1016/S0167-6423(02)00026-6}, doi = {10.1016/S0167-6423(02)00026-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Nordlander02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Usenko02, author = {Yaroslav S. Usenko}, title = {State space generation for the HAVi leader election protocol}, journal = {Sci. Comput. Program.}, volume = {43}, number = {1}, pages = {1--33}, year = {2002}, url = {https://doi.org/10.1016/S0167-6423(01)00018-1}, doi = {10.1016/S0167-6423(01)00018-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Usenko02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.