termination

27 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Should the first and second arguments be swapped in a rule defining addition?
user_23269610
•
3
1
124
successor-arithmetics addition termination prolog
How to fix this list reversal?
user_23269610
•
2
1
124
failure-slice termination prolog reverse list
Can any additional axiom make Coq Turing complete?
user_35844990
•
3
1
177
type-theory totality coq termination turing-complete
Openshift - policy to keep pod logs after termination
user_13697940
•
2
0
253
kubernetes-pod openshift termination
Termination checking failed to prove ∃-even′ : ∀ {n : ℕ} → ∃[ m ] ( 2 * m ≡ n) → even n
user_9763710
•
3
1
71
plfa agda termination
corecursive Agda functions without sized types
user_147442690
•
3
0
98
coinduction agda termination
Raising exceptions in a thread
user_147414960
•
3
1
593
termination multithreading python
Why do we need Termination Character In C
user_58020310
•
2
2
440
termination c arrays string
Convincing Agda that a recursive function is terminating
user_134506730
•
2
1
346
agda termination functional-programming
Why does this 'with' block spoil the totality of this function?
user_4774760
•
2
1
140
totality idris termination
Hot Questions