The following pages link to (Q2751361):
Displaying 29 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Tableaux and hypersequents for justification logics (Q408538) (← links)
- Efficient general AGH-unification (Q462489) (← links)
- Proving weak properties of rewriting (Q554217) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Things to know when implementing KBO (Q861708) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Dealing with explicit preferences and uncertainty in answer set programming (Q1928820) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Equational theorem proving modulo (Q2055853) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
- Making theory reasoning simpler (Q2233504) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Rewriting-based repairing strategies for XML repositories (Q2436514) (← links)
- Automated verification of selected equivalences for security protocols (Q2474047) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- Selecting the Selection (Q2817931) (← links)
- Timed Term Rewrite Systems (Q2841289) (← links)
- Rewrite-Based Decision Procedures (Q2864358) (← links)
- Deciding knowledge in security protocols under some e-voting theories (Q3095038) (← links)
- Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Q3172895) (← links)
- New Undecidability Results for Properties of Term Rewrite Systems (Q5166638) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q6111523) (← links)
- Equational Theorem Proving for Clauses over Strings (Q6118747) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
