Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 18
Volume 18, Number 1, January 1992
- Andreas Maaßen:
Parallel Programming with Data Structures and Higher Order Functions. 1-38 - Hans Zantema:
Longest Segment Problems. 39-66 - Fatma Mili, Ali Mili:
Heuristics for Constructing While Loops. 67-106 - Maritta Heisel:
Formalizing and Implementing Gries' Program Development Method in Dynamic Logic. 107-137
Volume 18, Number 2, April 1992
- Eerke A. Boiten:
Improving Recursive Functions by Inverting the Order of Evaluation. 139-179 - Chris Reade:
Balanced Trees with Removals: An Exercise in Rewriting and Proof. 181-204
Volume 18, Number 3, June 1992
- Jo C. Ebergen:
Arbiters: An Exercise in Specifying and Decomposing Asynchronously Communicating Components. 223-245 - Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond:
Minimal State Graph Generation. 247-269 - Paul H. B. Gardiner, Paritosh K. Pandya:
Reasoning Algebraically about Recursion. 271-280 - Richard S. Bird:
The Smallest Upravel. 281-292
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.
last updated on 2024-05-10 18:47 CEST 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:
