The SCEAS System
Navigation Menu

Conferences in DBLP

International Conference on Automated Deduction (CADE) (cade)
2004 (conf/cade/2004phd)

  1. Magnus Björk
    Adding Equivalence Classes to Stalmarck's Method in First Order Logic. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  2. Christoph Wernhard
    Semantic Knowledge Partitioning. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  3. Olga Tveretin
    DPLL-based Procedure for Equality Logic with Uninterpreted Functions. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  4. Flávio L. C. de Moura
    Understanding Higher Order Unification via Explicit Substitutions and Patterns. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  5. Paulo J. Matos
    Intelligent Theorem Proving for Specific Domains. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  6. Zhiyao Liang
    Model Checking Using Tabled Rewriting. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  7. Vladimir Klebanov
    Proof Reuse for Program Verification Calculi. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  8. Yevgeny Kazakov
    A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  9. Jan Hladik
    A Tableau System for the Description Logic SHIO. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  10. Thomas Hillenbrand
    A Superposition View on Nelson-Oppen. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  11. Emmanuel Hebrard
    Super Solutions in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  12. Jeff Z. Pan
    Reasoning Support for OWL-E. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  13. Zhen Li
    An implementation of a tableau theorem prover for modal logics. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  14. Roger Antonsen
    Uniform variable splitting. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  15. Lei Li
    Reasoning with large numbers of individuals moves on: extending the instance store. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  16. Daniel Winterstein
    Dr.Doodle: A Diagrammatic Theorem Prover. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
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