Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
Author: David Basin, Michaël Rusinowitch
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22345-0
DOI: 10.1007/b98691

Table of Contents:

• Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
• A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting
• Efficient Checking of Term Ordering Constraints
• Improved Modular Termination Proofs Using Dependency Pairs
• Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure
• Redundancy Notions for Paramodulation with Non-monotonic Orderings
• A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
• Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
• Decision Procedures for Recursive Data Structures with Integer Constraints
• Modular Proof Systems for Partial Functions with Weak Equality
• A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics
• Using Automated Theorem Provers to Certify Auto-generated Aerospace Software
• argo-lib: A Generic Platform for Decision Procedures
• The ICS Decision Procedures for Embedded Deduction
• System Description: E 0.81
• Second-Order Logic over Finite Structures – Report on a Research Programme
• Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains
• PDL with Negation of Atomic Programs
• Counter-Model Search in Gödel-Dummett Logics
• Generalised Handling of Variables in Disconnection Tableaux

Includes bibliographical references and index