default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 18

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 18, Number 1, January 1992

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Maassen92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Maassen92
Andreas Maaßen:
Parallel Programming with Data Structures and Higher Order Functions. 1-38
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Zantema92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Zantema92
Hans Zantema:
Longest Segment Problems. 39-66
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MiliM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MiliM92
Fatma Mili, Ali Mili:
Heuristics for Constructing While Loops. 67-106
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Heisel92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Heisel92
Maritta Heisel:
Formalizing and Implementing Gries' Program Development Method in Dynamic Logic. 107-137

Volume 18, Number 2, April 1992

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Boiten92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Boiten92
Eerke A. Boiten:
Improving Recursive Functions by Inverting the Order of Evaluation. 139-179
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Reade92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Reade92
Chris Reade:
Balanced Trees with Removals: An Exercise in Rewriting and Proof. 181-204

Volume 18, Number 3, June 1992

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Ebergen92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Ebergen92
Jo C. Ebergen:
Arbiters: An Exercise in Specifying and Decomposing Asynchronously Communicating Components. 223-245
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BouajjaniFHR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BouajjaniFHR92
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond:
Minimal State Graph Generation. 247-269
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GardinerP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GardinerP92
Paul H. B. Gardiner, Paritosh K. Pandya:
Reasoning Algebraically about Recursion. 271-280
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Bird92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Bird92
Richard S. Bird:
The Smallest Upravel. 281-292

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.