The following pages link to Christoph Walther (Q1060858):
Displaying 22 items.
- A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
- On proving the termination of algorithms by machine (Q1341666) (← links)
- Fermat, Euler, Wilson -- three case studies in number theory (Q1707601) (← links)
- On terminating lemma speculations. (Q1854370) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- (Q2702599) (← links)
- (Q2761214) (← links)
- Context Dependent Procedures and Computed Types in ✓eriFun (Q2866336) (← links)
- (Q3680805) (← links)
- (Q3786021) (← links)
- (Q3804237) (← links)
- (Q3992821) (← links)
- (Q4013971) (← links)
- (Q4023458) (← links)
- (Q4255517) (← links)
- (Q4524774) (← links)
- (Q4530475) (← links)
- Termination of theorem proving by reuse (Q4647503) (← links)
- (Q4729409) (← links)
- Verified Newton–Raphson Iteration for Multiplicative Inverses Modulo Powers of Any Base (Q5237421) (← links)
- Reasoning About Incompletely Defined Programs (Q5387856) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705933) (← links)
