M. Masseron

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index