Journals in DBLP

Inf. Comput.
2003, volume: 183, number: 2

1. Aart Middeldorp
   Preface. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:183, n:2, pp:139- [Journal]
   
2. Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
   A rewriting approach to satisfiability procedures. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:183, n:2, pp:140-164 [Journal]
   
3. Konstantin Korovin, Andrei Voronkov
   Orienting rewrite rules with the Knuth-Bendix order. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:183, n:2, pp:165-186 [Journal]
   
4. Michio Oyamaguchi, Yoshikatsu Ohta
   The unification problem for confluent right-ground term rewriting systems. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:183, n:2, pp:187-211 [Journal]
   
5. René Vestergaard, James Brotherston
   A formalised first-order confluence proof for the -calculus using one-sorted variable names. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:183, n:2, pp:212-244 [Journal]
   
6. Jens R. Woinowski
   The context-splittable normal form for Church-Rosser language systems. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2003, v:183, n:2, pp:245-274 [Journal]