Journals in DBLP
Inf. Comput. 2005, volume: 199, number: 1-2
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]