The following pages link to Emmanuel Kounalis (Q685351):
Displaying 20 items.
- Testing for the ground (co-)reducibility property in term-rewriting systems (Q685352) (← links)
- On word problems in Horn theories (Q757095) (← links)
- Automatic proofs by induction in theories without constructors (Q1824382) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Reasoning with conditional axioms (Q1924731) (← links)
- Rewriting of imperative programs into logical equations (Q2486260) (← links)
- (Q2736358) (← links)
- (Q3690200) (← links)
- (Q3713575) (← links)
- (Q3798649) (← links)
- (Q3818295) (← links)
- (Q3976041) (← links)
- (Q4027631) (← links)
- (Q4035251) (← links)
- (Q4266522) (← links)
- (Q4447244) (← links)
- (Q4712663) (← links)
- Automated Mathematical Induction (Q4849648) (← links)
- Mechanizable inductive proofs for a class of ∀ ∃ formulas (Q5210766) (← links)
- A proof system for conditional algebraic specifications (Q5881266) (← links)