The following pages link to (Q4842971):
Displayed 5 items.
- Collaborative planning with confidentiality (Q540688) (← links)
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- System NEL is Undecidable (Q4924537) (← links)