The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
2006, volume: 204, number: 10

  1. Alessandro Armando, Christophe Ringeissen
    Special issue on combining logical systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:10, pp:1411-1412 [Journal]
  2. 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:1413-1452 [Journal]
  3. Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann
    Modular proof systems for partial functions with Evans equality. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:10, pp:1453-1492 [Journal]
  4. 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:1493-1525 [Journal]
  5. 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:1526-1574 [Journal]
  6. 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:1575-1596 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002