
Journals in DBLP
Inf. Comput. 2007, volume: 205, number: 4
 Jürgen Giesl
RTA 2005. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:4, pp:417418 [Journal]
 Delia Kesner, Stephane Lengrand
Resource operators for lambdacalculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:4, pp:419473 [Journal]
 Nao Hirokawa, Aart Middeldorp
Tyrolean termination tool: Techniques and features. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:4, pp:474511 [Journal]
 Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema
On tree automata that certify termination of leftlinear term rewriting systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:4, pp:512534 [Journal]
 Nachum Dershowitz, E. Castedo Ellerman
Leanest quasiorderings. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:4, pp:535556 [Journal]
 Robert Nieuwenhuis, Albert Oliveras
Fast congruence closure and extensions. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:4, pp:557580 [Journal]
 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:581623 [Journal]
 Thierry Boy de la Tour, Mnacho Echenim
Permutative rewriting and unification. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:4, pp:624650 [Journal]
