Journals in DBLP
Sci. Comput. Program.
1999, volume: 34, number: 2
- Laura Semini, Carlo Montangero
A Refinement Calculus for Tuple Spaces. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1999, v:34, n:2, pp:79-140 [Journal] - Joseph M. Morris, Alexander Bunkenburg
A Logic for Reasoning Equationally in the Presence of Partiality. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1999, v:34, n:2, pp:141-158 [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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002