Pages that link to "Item:Q5278311"

The following pages link to Weighted Strategy Logic with Boolean Goals Over One-Counter Games. (Q5278311):

Displaying 4 items.

• Dependences in strategy logic (Q1987514) (← links)
• Dependences in Strategy Logic (Q3304133) (← links)
• Quantifying Bounds in Strategy Logic (Q5079747) (← links)
• Taming strategy logic: non-recurrent fragments (Q6077842) (← links)