Pages that link to "Item:Q1041042"
From MaRDI portal
The following pages link to On linear logic planning and concurrency (Q1041042):
Displaying 6 items.
- Generating plans in linear logic. II: A geometry of conjunctive actions (Q1802078) (← links)
- True Concurrency of Deep Inference Proofs (Q2820698) (← links)
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic (Q3449236) (← links)
- Generating plans in linear logic (Q3976054) (← links)
- (Q5016381) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311242) (← links)