The SCEAS System
Navigation Menu

Journals in DBLP

Sci. Comput. Program.
1994, volume: 22, number: 1-2

  1. Carroll Morgan
    Foreword: Special Issue on Mathematics of Program Construction. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:1-2, pp:1-2 [Journal]
  2. Roland Carl Backhouse, J. P. H. W. van den Eijnde, A. J. M. van Gasteren
    Calculating Path Algorithms. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:1-2, pp:3-19 [Journal]
  3. Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
    An Algebraic Construction of Predicate Transformers. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:1-2, pp:21-44 [Journal]
  4. H. Peter Hofstee
    Distributing a Class of Sequential Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:1-2, pp:45-65 [Journal]
  5. Paul F. Hoogendijk, Roland Carl Backhouse
    Relational Programming Laws in the Tree, List, Bag, Set Hierarchy. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:1-2, pp:67-105 [Journal]
  6. Geraint Jones, Mary Sheeran
    Designing Arithmetic Circuits by Refinement in Ruby. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:1-2, pp:107-135 [Journal]
  7. Johan J. Lukkien
    Operational Semantics and Generalized Weakest Preconditions. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:1-2, pp:137-155 [Journal]
  8. Bernhard Möller, Martin Russling
    Shorter Paths to Graph Algorithms. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:1-2, pp:157-180 [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