Pages that link to "Item:Q5101444"
From MaRDI portal
The following pages link to Game characterizations of logic program properties (Q5101444):
Displaying 6 items.
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Measure Properties of Game Tree Languages (Q2922025) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- (Q4811597) (← links)
- Exploiting Game Theory for Analysing Justifications (Q5140022) (← links)
- A Procedural Characterization of Solution Concepts in Games (Q5404390) (← links)