Automated Reasoning

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Editors:

ISBN: 978-3-540-22345-0 (Print) 978-3-540-25984-8 (Online)

Table of contents (36 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Rewriting

    1. No Access

      Book Chapter

      Pages 1-44

      Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools

    2. No Access

      Book Chapter

      Pages 45-59

      A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting

    3. No Access

      Book Chapter

      Pages 60-74

      Efficient Checking of Term Ordering Constraints

    4. No Access

      Book Chapter

      Pages 75-90

      Improved Modular Termination Proofs Using Dependency Pairs

    5. No Access

      Book Chapter

      Pages 91-106

      Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure

  3. Saturation-Based Theorem Proving

    1. No Access

      Book Chapter

      Pages 107-121

      Redundancy Notions for Paramodulation with Non-monotonic Orderings

    2. No Access

      Book Chapter

      Pages 122-136

      A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards

    3. No Access

      Book Chapter

      Pages 137-151

      Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures

  4. Combination Techniques

    1. No Access

      Book Chapter

      Pages 152-167

      Decision Procedures for Recursive Data Structures with Integer Constraints

    2. No Access

      Book Chapter

      Pages 168-182

      Modular Proof Systems for Partial Functions with Weak Equality

    3. No Access

      Book Chapter

      Pages 183-197

      A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics

  5. Verification and Systems

    1. No Access

      Book Chapter

      Pages 198-212

      Using Automated Theorem Provers to Certify Auto-generated Aerospace Software

    2. No Access

      Book Chapter

      Pages 213-217

      argo-lib: A Generic Platform for Decision Procedures

    3. No Access

      Book Chapter

      Pages 218-222

      The ICS Decision Procedures for Embedded Deduction

    4. No Access

      Book Chapter

      Pages 223-228

      System Description: E 0.81

  6. Reasoning with Finite Structure

    1. No Access

      Book Chapter

      Pages 229-243

      Second-Order Logic over Finite Structures – Report on a Research Programme

    2. No Access

      Book Chapter

      Pages 244-258

      Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains

  7. Tableaux and Non-classical Logics

    1. No Access

      Book Chapter

      Pages 259-273

      PDL with Negation of Atomic Programs

    2. No Access

      Book Chapter

      Pages 274-288

      Counter-Model Search in Gödel-Dummett Logics

    3. No Access

      Book Chapter

      Pages 289-306

      Generalised Handling of Variables in Disconnection Tableaux

previous Page of 2