The following pages link to (Q2767092):
Displaying 3 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS (Q3021959) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896944) (← links)