Journals in DBLP

Fundam. Inform.
1995, volume: 24, number: 1/2

1. Bernhard Gramlich
   Abstract Relations between Restricted Termination and Confluence Properties of Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:24, n:1/2, pp:2-23 [Journal]
   
2. Ursula Martin
   On the Diversity of Orderings on Strings. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:24, n:1/2, pp:25-46 [Journal]
   
3. Joachim Steinbach
   Simplification Orderings: Histrory of Results. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:24, n:1/2, pp:47-87 [Journal]
   
4. Hans Zantema
   Termination of Term Rewriting by Semantic Labelling. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:24, n:1/2, pp:89-105 [Journal]
   
5. Hantao Zhang
   Contextual Rewriting in Automated Reasoning. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:24, n:1/2, pp:107-123 [Journal]
   
6. Alexander Bockmayr, Stefan Krischer, Andreas Werner
   Narrowing Strategies for Arbitrary Canonical Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:24, n:1/2, pp:125-155 [Journal]
   
7. Rémi Gilleron, Sophie Tison
   Regular Tree Languages and Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:24, n:1/2, pp:157-174 [Journal]
   
8. Maria Paola Bonacina, Jieh Hsiang
   The Clause-Diffusion Methodology for Distributed Deduction. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1995, v:24, n:1/2, pp:177-207 [Journal]