The following pages link to (Q5549763):
Displayed 4 items.
- Explanation of two non-blocking shared-variable communication algorithms (Q469352) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems (Q5881273) (← links)
- From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract) (Q6199576) (← links)