Pages that link to "Item:Q6487538"
From MaRDI portal
The following pages link to Wait-free solvability of equality negation tasks (Q6487538):
Displaying 4 items.
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- A simple constructive computability theorem for wait-free computation (Q2817615) (← links)
- Defining logical obstruction with fixpoints in epistemic logic (Q6645916) (← links)
- Pseudospheres: combinatorics, topology and distributed systems (Q6645918) (← links)