The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. José Meseguer, Grigore Rosu
    Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:1-44 [Conf]
  2. Bernd Löchner
    A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:45-59 [Conf]
  3. Alexandre Riazanov, Andrei Voronkov
    Efficient Checking of Term Ordering Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:60-74 [Conf]
  4. René Thiemann, Jürgen Giesl, Peter Schneider-Kamp
    Improved Modular Termination Proofs Using Dependency Pairs. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:75-90 [Conf]
  5. Guillem Godoy, Ashish Tiwari
    Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:91-106 [Conf]
  6. Miquel Bofill, Albert Rubio
    Redundancy Notions for Paramodulation with Non-monotonic Orderings. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:107-121 [Conf]
  7. Yevgeny Kazakov, Hans de Nivelle
    A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:122-136 [Conf]
  8. Graham Steel, Alan Bundy, Monika Maidl
    Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:137-151 [Conf]
  9. Ting Zhang, Henny B. Sipma, Zohar Manna
    Decision Procedures for Recursive Data Structures with Integer Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:152-167 [Conf]
  10. Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann
    Modular Proof Systems for Partial Functions with Weak Equality. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:168-182 [Conf]
  11. 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]
    IJCAR, 2004, pp:183-197 [Conf]
  12. Ewen Denney, Bernd Fischer, Johann Schumann
    Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:198-212 [Conf]
  13. Filip Maric, Predrag Janicic
    argo-lib: A Generic Platform for Decision Procedures. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:213-217 [Conf]
  14. Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
    The ICS Decision Procedures for Embedded Deduction. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:218-222 [Conf]
  15. Stephan Schulz
    System Description: E 0.81. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:223-228 [Conf]
  16. Georg Gottlob
    Second-Order Logic over Finite Structures - Report on a Research Programme. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:229-243 [Conf]
  17. Àngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini
    Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:244-258 [Conf]
  18. Carsten Lutz, Dirk Walther
    PDL with Negation of Atomic Programs. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:259-273 [Conf]
  19. Dominique Larchey-Wendling
    Counter-Model Search in Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:274-288 [Conf]
  20. Reinhold Letz, Gernot Stenz
    Generalised Handling of Variables in Disconnection Tableaux. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:289-306 [Conf]
  21. Tanel Tammet
    Chain Resolution for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:307-320 [Conf]
  22. Anni-Yasmin Turhan, Christian Kissig
    Sonic - Non-standard Inferences Go OilEd. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:321-325 [Conf]
  23. Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
    TeMP: A Temporal Monodic Prover. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:326-330 [Conf]
  24. Daniel Winterstein, Alan Bundy, Corin A. Gurr
    Dr.Doodle: A Diagrammatic Theorem Prover. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:331-335 [Conf]
  25. Volker Weispfenning
    Solving Constraints by Elimination Methods. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:336-341 [Conf]
  26. K. Subramani
    Analyzing Selected Quantified Integer Programs. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:342-356 [Conf]
  27. Jeremy Avigad, Kevin Donnelly
    Formalizing O Notation in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:357-371 [Conf]
  28. Jia Meng, Lawrence C. Paulson
    Experiments on Supporting Interactive Proof Using Resolution. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:372-384 [Conf]
  29. Gilles Barthe, Jan Cederquist, Sabrina Tarento
    A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:385-399 [Conf]
  30. Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland
    Automatic Generation of Classification Theorems for Finite Algebras. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:400-414 [Conf]
  31. Jürgen Avenhaus
    Efficient Algorithms for Computing Modulo Permutation Theories. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:415-429 [Conf]
  32. Thierry Boy de la Tour, Mnacho Echenim
    Overlapping Leaf Permutative Equations. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:430-444 [Conf]
  33. Richard Bonichon
    TaMeD: A Tableau Method for Deduction Modulo. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:445-459 [Conf]
  34. Michael Beeson
    Lambda Logic. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:460-474 [Conf]
  35. William M. Farmer
    Formalizing Undefinedness Arising in Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:475-489 [Conf]
  36. Geoff Sutcliffe, Christian B. Suttner
    The CADE ATP System Competition. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:490-491 [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