Generating plans in linear logic: II. A geometry of conjunctive actions
- 7 June 1993
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 113 (2) , 371-375
- https://doi.org/10.1016/0304-3975(93)90008-h
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Generating plans in linear logic: I. actions as proofsTheoretical Computer Science, 1993
- Linear logicTheoretical Computer Science, 1987
- A deductive solution for plan generationNew Generation Computing, 1986
- Matings in matricesCommunications of the ACM, 1983