M. Masseron

According to our database, M. Masseron authored at least 3 papers between 1990 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1993

Generating Plans in Linear Logic I. Actions as Proofs.

M. Masseron, Christophe Tollu, Jacqueline Vauzeilles

Theor. Comput. Sci., 1993

Generating Plans in Linear Logic I. A Geometry of Conjunctive Actions.

M. Masseron

Theor. Comput. Sci., 1993

1990

Generating Plans in Linear Logic.

M. Masseron, Christophe Tollu, Jacqueline Vauzeilles

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990