Pages that link to "Item:Q2751362"
From MaRDI portal
The following pages link to Equality reasoning in sequent-based calculi (Q2751362):
Displaying 24 items.
- Proof search algorithm in pure logical framework (Q779163) (← links)
- Progress in certifying hardware model checking results (Q832275) (← links)
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- On elementary equivalence for equality-free logic (Q1355131) (← links)
- Theorem proving modulo (Q1431339) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
- Free-variable semantic tableaux for the logic of fuzzy inequalities (Q2364294) (← links)
- Semantic tableaux with equality (Q2785839) (← links)
- Fault-Tolerant Aggregate Signatures (Q2798782) (← links)
- Free Variables and Theories: Revisiting Rigid E-unification (Q2964448) (← links)
- Computing All Implied Equalities via SMT-Based Partition Refinement (Q3192188) (← links)
- Congruence Closure with Free Variables (Q3303931) (← links)
- Theorem Proving with Bounded Rigid E-Unification (Q3454123) (← links)
- Modal Tableau Systems with Blocking and Congruence Closure (Q3455760) (← links)
- Efficient Algorithms for Bounded Rigid E-unification (Q3455762) (← links)
- (Q3716324) (← links)
- (Q4412859) (← links)
- Lean induction principles for tableaux (Q4610315) (← links)
- (Q4818813) (← links)
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (Q4856660) (← links)
- THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY (Q5027662) (← links)
- Computer Aided Verification (Q5716573) (← links)
- The logicality of equality (Q6612870) (← links)
