↓ Skip to main content

Automated Deduction - CADE-25

Overview of attention for book
Cover of 'Automated Deduction - CADE-25'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 History and Prospects for First-Order Automated Deduction
  3. Altmetric Badge
    Chapter 2 Stumbling Around in the Dark: Lessons from Everyday Mathematics
  4. Altmetric Badge
    Chapter 3 Automated Reasoning in the Wild
  5. Altmetric Badge
    Chapter 4 Automating Leibniz’s Theory of Concepts
  6. Altmetric Badge
    Chapter 5 Confluence Competition 2015
  7. Altmetric Badge
    Chapter 6 Termination Competition (termCOMP 2015)
  8. Altmetric Badge
    Chapter 7 Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent
  9. Altmetric Badge
    Chapter 8 CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems
  10. Altmetric Badge
    Chapter 9 Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
  11. Altmetric Badge
    Chapter 10 Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion
  12. Altmetric Badge
    Chapter 11 Reducing Relative Termination to Dependency Pair Problems
  13. Altmetric Badge
    Chapter 12 Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
  14. Altmetric Badge
    Chapter 13 A Decision Procedure for (Co)datatypes in SMT Solvers
  15. Altmetric Badge
    Chapter 14 Deciding \mathsf {ATL^*} Satisfiability by Tableaux
  16. Altmetric Badge
    Chapter 15 A Formalisation of Finite Automata Using Hereditarily Finite Sets
  17. Altmetric Badge
    Chapter 16 SEPIA: Search for Proofs Using Inferred Automata
  18. Altmetric Badge
    Chapter 17 Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3
  19. Altmetric Badge
    Chapter 18 Inductive Beluga: Programming Proofs
  20. Altmetric Badge
    Chapter 19 SMTtoTPTP – A Converter for Theorem Proving Formats
  21. Altmetric Badge
    Chapter 20 CTL Model Checking in Deduction Modulo
  22. Altmetric Badge
    Chapter 21 Quantifier-Free Equational Logic and Prime Implicate Generation
  23. Altmetric Badge
    Chapter 22 Automated Deduction - CADE-25
  24. Altmetric Badge
    Chapter 23 Cooperating Proof Attempts
  25. Altmetric Badge
    Chapter 24 Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses
  26. Altmetric Badge
    Chapter 25 Beagle – A Hierarchic Superposition Theorem Prover
  27. Altmetric Badge
    Chapter 26 The Lean Theorem Prover (System Description)
  28. Altmetric Badge
    Chapter 27 System Description: E.T. 0.1
  29. Altmetric Badge
    Chapter 28 Playing with AVATAR
  30. Altmetric Badge
    Chapter 29 A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
  31. Altmetric Badge
    Chapter 30 Exploring Theories with a Model-Finding Assistant
  32. Altmetric Badge
    Chapter 31 Abstract Interpretation as Automated Deduction
  33. Altmetric Badge
    Chapter 32 A Uniform Substitution Calculus for Differential Dynamic Logic
  34. Altmetric Badge
    Chapter 33 Program Synthesis Using Dual Interpretation
  35. Altmetric Badge
    Chapter 34 Automated Theorem Proving for Assertions in Separation Logic with All Connectives
  36. Altmetric Badge
    Chapter 35 KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS
  37. Altmetric Badge
    Chapter 36 KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
  38. Altmetric Badge
    Chapter 37 Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition
  39. Altmetric Badge
    Chapter 38 Regular Patterns in Second-Order Unification
  40. Altmetric Badge
    Chapter 39 Theorem Proving with Bounded Rigid E-Unification
  41. Altmetric Badge
    Chapter 40 Expressing Symmetry Breaking in DRAT Proofs
  42. Altmetric Badge
    Chapter 41 MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
  43. Altmetric Badge
    Chapter 42 Linear Integer Arithmetic Revisited
Attention for Chapter 11: Reducing Relative Termination to Dependency Pair Problems
Altmetric Badge

Mentioned by

1 X user


7 Dimensions

Readers on

3 Mendeley
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
Reducing Relative Termination to Dependency Pair Problems
Chapter number 11
Book title
Automated Deduction - CADE-25
Published in
Lecture notes in computer science, July 2015
DOI 10.1007/978-3-319-21401-6_11
Book ISBNs
978-3-31-921400-9, 978-3-31-921401-6

José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada


Amy P. Felty, Aart Middeldorp

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 33%
Student > Master 1 33%
Unknown 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Unknown 1 33%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 01 August 2015.
All research outputs
of 22,833,393 outputs
Outputs from Lecture notes in computer science
of 8,127 outputs
Outputs of similar age
of 263,303 outputs
Outputs of similar age from Lecture notes in computer science
of 347 outputs
Altmetric has tracked 22,833,393 research outputs across all sources so far. This one is in the 1st percentile – i.e., 1% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,127 research outputs from this source. They receive a mean Attention Score of 5.0. This one is in the 1st percentile – i.e., 1% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 263,303 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 1st percentile – i.e., 1% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 347 others from the same source and published within six weeks on either side of this one. This one is in the 1st percentile – i.e., 1% of its contemporaries scored the same or lower than it.