
Journals in DBLP
Inf. Comput. 2006, volume: 204, number: 10
 Alessandro Armando, Christophe Ringeissen
Special issue on combining logical systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:10, pp:14111412 [Journal]
 Franz Baader, Silvio Ghilardi, Cesare Tinelli
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:10, pp:14131452 [Journal]
 Harald Ganzinger, Viorica SofronieStokkermans, Uwe Waldmann
Modular proof systems for partial functions with Evans equality. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:10, pp:14531492 [Journal]
 Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
Efficient theory combination via boolean search. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:10, pp:14931525 [Journal]
 Ting Zhang, Henny B. Sipma, Zohar Manna
Decision procedures for term algebras with integer constraints. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:10, pp:15261574 [Journal]
 Jia Meng, Claire Quigley, Lawrence C. Paulson
Automation for interactive proof: First prototype. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:10, pp:15751596 [Journal]
