The following pages link to (Q4938433):
Displaying 6 items.
- Logic programming in a fragment of intuitionistic linear logic (Q1327384) (← links)
- Efficient resource management for linear logic proof search (Q1575929) (← links)
- From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
- Reasoning about resources and information: a linear logic approach (Q2843814) (← links)
- Isolating resource consumption in linear logic proof search (extended abstract) (Q2844805) (← links)
- (Q5018490) (← links)