Pages that link to "Item:Q685427"
From MaRDI portal
The following pages link to Complete proof rules for strong fairness and strong extreme fairness (Q685427):
Displaying 4 items.
- A complete rule for equifair termination (Q1088401) (← links)
- The \(\mu\)-calculus as an assertion-language for fairness arguments (Q1124314) (← links)
- Detection of additional mass in rods: Experimental and numerical investigation (Q2432399) (← links)
- On fairness of completion-based theorem proving strategies (Q5055773) (← links)