The SCEAS System
Navigation Menu

Journals in DBLP

Sci. Comput. Program.
1996, volume: 26, number: 1-3

  1. Michel Sintzoff
    Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction). [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:1-2 [Journal]
  2. Bernhard Möller
    Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction). [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:3- [Journal]
  3. Roland Carl Backhouse
    Mathematics of Program Construction. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:5-9 [Journal]
  4. Wladyslaw M. Turski
    I Was a Computer. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:11-14 [Journal]
  5. Richard S. Bird
    Functional Algorithm Design. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:15-31 [Journal]
  6. Natarajan Shankar
    Steps Toward Mechanizing Program Transformations Using PVS. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:33-57 [Journal]
  7. Klaus Achatz, Wolfram Schulte
    Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:59-78 [Journal]
  8. Ralph-Johan Back, Alain J. Martin, Kaisa Sere
    Specifying the Caltech Asynchronous Microprocessor. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:79-97 [Journal]
  9. Rudolf Berghammer, Burghard von Karger
    Towards a Design Calculus for CSP. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:99-115 [Journal]
  10. Martin Russling
    Deriving a Class of Layer-Oriented Graph Algorithms. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:117-132 [Journal]
  11. Krzysztof R. Apt
    Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:133-148 [Journal]
  12. Anne Kaldewaij, Victor J. Dielissen
    Leaf Trees. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:149-165 [Journal]
  13. Thierry Coquand
    An Algorithm for Type-Checking Dependent Types. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:167-177 [Journal]
  14. Jean-François Monin
    Exceptions Considered Harmless. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:179-196 [Journal]
  15. Sharon Curtis, Gavin Lowe
    Proofs with Graphs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:197-216 [Journal]
  16. Henk Doornbos, Roland Carl Backhouse
    Reductivity. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:217-236 [Journal]
  17. Marc Frappier, Ali Mili, Jules Desharnais
    A Relational Calculus for Program Construction by Parts. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:237-254 [Journal]
  18. Ketil Stølen
    Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:255-272 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002