The following pages link to (Q4944869):
Displaying 8 items.
- On linear logic planning and concurrency (Q1041042) (← links)
- A proof procedure for the logic of hereditary Harrop formulas (Q1311397) (← links)
- A linear logical framework (Q1400718) (← links)
- (Q4287476) (← links)
- (Q4520488) (← links)
- Towards a methodology for the design of abstract machines for logic programming languages (Q5286920) (← links)
- Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (Q5756497) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)