Journals in DBLP

Sci. Comput. Program.
1989, volume: 12, number: 2

1. Richard S. Bird, Jeremy Gibbons, Geraint Jones
   Formal Derivation of a Pattern Matching Algorithm. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1989, v:12, n:2, pp:93-104 [Journal]
   
2. F. E. J. Kruseman Aretz
   A New Approach to Earley's Parsing Algorithm. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1989, v:12, n:2, pp:105-121 [Journal]
   
3. Tobias Nipkow
   Equational Reasoning in Isabelle. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1989, v:12, n:2, pp:123-149 [Journal]
   
4. David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding
   An Algorithm for Transitive Reduction of an Acyclic Graph. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1989, v:12, n:2, pp:151-155 [Journal]