↓ Skip to main content

Automated Reasoning

Overview of attention for book
Cover of 'Automated Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Software Verification: Roles and Challenges for Automatic Decision Procedures
  3. Altmetric Badge
    Chapter 2 Proving Bounds on Real-Valued Functions with Computations
  4. Altmetric Badge
    Chapter 3 Linear Quantifier Elimination
  5. Altmetric Badge
    Chapter 4 Quantitative Separation Logic and Programs with Lists
  6. Altmetric Badge
    Chapter 5 On Automating the Calculus of Relations
  7. Altmetric Badge
    Chapter 6 Towards SMT Model Checking of Array-Based Systems
  8. Altmetric Badge
    Chapter 7 Preservation of Proof Obligations from Java to the Java Virtual Machine
  9. Altmetric Badge
    Chapter 8 Efficient Well-Definedness Checking
  10. Altmetric Badge
    Chapter 9 Proving Group Protocols Secure Against Eavesdroppers
  11. Altmetric Badge
    Chapter 10 Automated Implicit Computational Complexity Analysis (System Description)
  12. Altmetric Badge
    Chapter 11 LogAnswer - A Deduction-Based Question Answering System (System Description)
  13. Altmetric Badge
    Chapter 12 A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
  14. Altmetric Badge
    Chapter 13 The Abella Interactive Theorem Prover (System Description)
  15. Altmetric Badge
    Chapter 14 LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
  16. Altmetric Badge
    Chapter 15 KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
  17. Altmetric Badge
    Chapter 16 The Complexity of Conjunctive Query Answering in Expressive Description Logics
  18. Altmetric Badge
    Chapter 17 Automated Reasoning
  19. Altmetric Badge
    Chapter 18 Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
  20. Altmetric Badge
    Chapter 19 Automata-Based Axiom Pinpointing
  21. Altmetric Badge
    Chapter 20 Individual Reuse in Description Logic Reasoning
  22. Altmetric Badge
    Chapter 21 Automated Reasoning
  23. Altmetric Badge
    Chapter 22 Aligator: A Mathematica Package for Invariant Generation (System Description)
  24. Altmetric Badge
    Chapter 23 leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
  25. Altmetric Badge
    Chapter 24 iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
  26. Altmetric Badge
    Chapter 25 An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)
  27. Altmetric Badge
    Chapter 26 Multi-completion with Termination Tools (System Description)
  28. Altmetric Badge
    Chapter 27 MTT: The Maude Termination Tool (System Description)
  29. Altmetric Badge
    Chapter 28 Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
  30. Altmetric Badge
    Chapter 29 Canonicity!
  31. Altmetric Badge
    Chapter 30 Unification and Matching Modulo Leaf-Permutative Equational Presentations
  32. Altmetric Badge
    Chapter 31 Modularity of Confluence
  33. Altmetric Badge
    Chapter 32 Automated Complexity Analysis Based on the Dependency Pair Method
  34. Altmetric Badge
    Chapter 33 Canonical Inference for Implicational Systems
  35. Altmetric Badge
    Chapter 34 Challenges in the Automated Verification of Security Protocols
  36. Altmetric Badge
    Chapter 35 Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
  37. Altmetric Badge
    Chapter 36 Proof Systems for Effectively Propositional Logic
  38. Altmetric Badge
    Chapter 37 MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
  39. Altmetric Badge
    Chapter 38 CASC-J4 The 4th IJCAR ATP System Competition
  40. Altmetric Badge
    Chapter 39 Labelled Splitting
  41. Altmetric Badge
    Chapter 40 Engineering DPLL(T) + Saturation
  42. Altmetric Badge
    Chapter 41 THF0 – The Core of the TPTP Language for Higher-Order Logic
  43. Altmetric Badge
    Chapter 42 Focusing in Linear Meta-logic
  44. Altmetric Badge
    Chapter 43 Certifying a Tree Automata Completion Checker
  45. Altmetric Badge
    Chapter 44 Automated Induction with Constrained Tree Automata
Attention for Chapter 30: Unification and Matching Modulo Leaf-Permutative Equational Presentations
Altmetric Badge

Citations

dimensions_citation
8 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Unification and Matching Modulo Leaf-Permutative Equational Presentations
Chapter number 30
Book title
Automated Reasoning
Published by
Springer, Berlin, Heidelberg, August 2008
DOI 10.1007/978-3-540-71070-7_30
Book ISBNs
978-3-54-071069-1, 978-3-54-071070-7
Authors

Thierry Boy de la Tour, Mnacho Echenim, Paliath Narendran, Boy de la Tour, Thierry, Echenim, Mnacho, Narendran, Paliath