scientific article; zbMATH DE number 6125177
From MaRDI portal
Publication:4900290
Recommendations
- On proving properties of completion strategies
- Reasoning about strategies: on the satisfiability problem
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Strategy-proof assignment of multiple resources
- Strategy-proofness on restricted separable domains
- scientific article; zbMATH DE number 3894502
- Approximations for strategies and termination
- Reasoning about strategies: on the model-checking problem
- scientific article; zbMATH DE number 7559495
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4900290)