Pages that link to "Item:Q5915568"
From MaRDI portal
The following pages link to On the complexity of resource-bounded logics (Q5915568):
Displayed 3 items.
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)
- Formal modelling and verification of probabilistic resource bounded agents (Q6190087) (← links)