| |
| 1993 | ||
|---|---|---|
| 3 | M. Masseron, Christophe Tollu, Jacqueline Vauzeilles: Generating Plans in Linear Logic I. Actions as Proofs. Theor. Comput. Sci. 113(2): 349-370 (1993) | |
| 2 | M. Masseron: Generating Plans in Linear Logic I. A Geometry of Conjunctive Actions. Theor. Comput. Sci. 113(2): 371-375 (1993) | |
| 1990 | ||
| 1 | M. Masseron, Christophe Tollu, Jacqueline Vauzeilles: Generating Plans in Linear Logic. FSTTCS 1990: 63-75 | |
| 1 | Christophe Tollu | [1] [3] |
| 2 | Jacqueline Vauzeilles | [1] [3] |