Journals in DBLP

Inf. Comput.
2007, volume: 205, number: 4

1. Jürgen Giesl
   RTA 2005. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2007, v:205, n:4, pp:417-418 [Journal]
   
2. Delia Kesner, Stephane Lengrand
   Resource operators for lambda-calculus. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2007, v:205, n:4, pp:419-473 [Journal]
   
3. Nao Hirokawa, Aart Middeldorp
   Tyrolean termination tool: Techniques and features. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2007, v:205, n:4, pp:474-511 [Journal]
   
4. Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema
   On tree automata that certify termination of left-linear term rewriting systems. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2007, v:205, n:4, pp:512-534 [Journal]
   
5. Nachum Dershowitz, E. Castedo Ellerman
   Leanest quasi-orderings. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2007, v:205, n:4, pp:535-556 [Journal]
   
6. Robert Nieuwenhuis, Albert Oliveras
   Fast congruence closure and extensions. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2007, v:205, n:4, pp:557-580 [Journal]
   
7. Pascal Lafourcade, Denis Lugiez, Ralf Treinen
   Intruder deduction for the equational theory of Abelian groups with distributive encryption. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2007, v:205, n:4, pp:581-623 [Journal]
   
8. Thierry Boy de la Tour, Mnacho Echenim
   Permutative rewriting and unification. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2007, v:205, n:4, pp:624-650 [Journal]