Journals in DBLP

J. Symb. Comput.
1994, volume: 18, number: 1

1. Hilary A. Priestley, Martin P. Ward
   A Multipurpose Backtracking Algorithm. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1994, v:18, n:1, pp:1-40 [Journal]
   
2. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1994, v:18, n:1, pp:41-81 [Journal]
   
3. Ivo Düntsch
   A Microcomputer Based System for Small Relation Algebras. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1994, v:18, n:1, pp:83-86 [Journal]
   
4. Craig R. Orr, Doron Zeilberger
   A Computer Algebra Approach to the Discrete Dirichlet Problem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1994, v:18, n:1, pp:87-90 [Journal]