M. Masseron

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Publications

M. Masseron
Generating Plans in Linear Logic I. A Geometry of Conjunctive Actions. Theor. Comput. Sci. 113 (2) (1993)
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles
Generating Plans in Linear Logic I. Actions as Proofs. Theor. Comput. Sci. 113 (2) (1993)
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles
Generating Plans in Linear Logic. FSTTCS (1990)