The following pages link to Rolf Socher-Ambrosius (Q688550):
Displaying 20 items.
- (Q589528) (redirect page) (← links)
- How to avoid the derivation of redundant clauses in reasoning systems (Q688551) (← links)
- On the relation between resolution based and completion based theorem proving (Q758218) (← links)
- Optimizing the clausal normal form transformation (Q809622) (← links)
- Liars and the group \((\mathbb{Z}_2)^n\) (Q2036226) (← links)
- (Q3065886) (← links)
- (Q3467822) (← links)
- (Q3467823) (← links)
- (Q3491011) (← links)
- (Q3804226) (← links)
- (Q3842654) (← links)
- (Q3971269) (← links)
- (Q4282530) (← links)
- (Q4323894) (← links)
- (Q4331757) (← links)
- Boolean algebra admits no convergent term rewriting system (Q5055766) (← links)
- (Q5091710) (← links)
- Solving simplification ordering constraints (Q5096318) (← links)
- A refined version of general E-unification (Q5210804) (← links)
- Magic with normal subgroups (Q5962798) (← links)