Pages that link to "Item:Q5705947"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705947):
Displaying 6 items.
- Plans, actions and dialogues using linear logic (Q1016033) (← links)
- Efficient resource management for linear logic proof search (Q1575929) (← links)
- Isolating resource consumption in linear logic proof search (extended abstract) (Q2844805) (← links)
- (Q4938433) (← links)
- Linearity Constraints as Bounded Intervals in Linear Logic Programming (Q5488612) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)