Journals in DBLP

J. Symb. Comput.
1996, volume: 21, number: 1

1. Chung-Jen Ho, Chee-Keng Yap
   The Habicht Approch to Subresultants. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:21, n:1, pp:1-14 [Journal]
   
2. Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
   Comparing Curried and Uncurried Rewriting. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:21, n:1, pp:15-39 [Journal]
   
3. Peter Padawitz
   Inductive Theorem Proving for Design Specification. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:21, n:1, pp:41-99 [Journal]
   
4. Mark Sofroniou
   Order Stars and Linear Stability Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:21, n:1, pp:101-131 [Journal]