The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
2005, volume: 199, number: 1-2

  1. Franz Baader
    19th International Conference on Automated Deduction (CADE-19). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:1-2 [Journal]
  2. Harald Ganzinger, Jürgen Stuber
    Superposition with equivalence reasoning and delayed clause normal form transformation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:3-23 [Journal]
  3. Hans de Nivelle
    Translation of resolution proofs into short first-order proofs without choice axioms. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:24-54 [Journal]
  4. Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
    Mechanising first-order temporal resolution. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:55-86 [Journal]
  5. Sava Krstic, Sylvain Conchon
    Canonization for disjoint unions of theories. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:87-106 [Journal]
  6. Sumit Gulwani, George C. Necula
    A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:107-131 [Journal]
  7. Carsten Lutz, Ulrike Sattler, Lidia Tendera
    The complexity of finite model reasoning in description logics. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:132-171 [Journal]
  8. Nao Hirokawa, Aart Middeldorp
    Automating the dependency pair method. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:172-199 [Journal]
  9. Farhad Mehta, Tobias Nipkow
    Proving pointer programs in higher-order logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:200-227 [Journal]
  10. Alexandre Riazanov, Andrei Voronkov
    Efficient instance retrieval with standard and relational path indexing. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:228-252 [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