Journals in DBLP

Sci. Comput. Program.
1987, volume: 9, number: 2

1. Hanne Riis Nielson
   A Hoare-Like Proof System for Analysing the Computation Time of Programs. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1987, v:9, n:2, pp:107-136 [Journal]
   
2. Ahlem Ben Cherifa, Pierre Lescanne
   Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1987, v:9, n:2, pp:137-159 [Journal]
   
3. Fosca Giannotti, Attilio Matteucci, Dino Pedreschi, Franco Turini
   Symbolic Evaluation with Structural Recursive Symbolic Constants. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1987, v:9, n:2, pp:161-177 [Journal]
   
4. Henryk Jan Komorowski, Jan Maluszynski
   Logic Programming and Rapid Prototyping. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1987, v:9, n:2, pp:179-205 [Journal]
   
5. Martin Rem
   Small Programming Exercises 19. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1987, v:9, n:2, pp:207-211 [Journal]