
Journals in DBLP
Inf. Comput. 2000, volume: 159, number: 12
 Tobias Nipkow
Preface. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:159, n:12, pp:1 [Journal]
 Johannes Waldmann
The Combinator S. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:159, n:12, pp:221 [Journal]
 Martin Müller, Joachim Niehren
Ordering Constraints over Feature Trees Expressed in SecondOrder Monadic Logic. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:159, n:12, pp:2258 [Journal]
 Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
Descendants and Origins in Term Rewriting. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:159, n:12, pp:59124 [Journal]
 Jordi Levy, Margus Veanes
On the Undecidability of SecondOrder Unification. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:159, n:12, pp:125150 [Journal]
 Hubert Comon, Robert Nieuwenhuis
Induction=IAxiomatization+FirstOrder Consistency. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:159, n:12, pp:151186 [Journal]
