Concepedia

Marcel Masseron

MM

3

Publications

126

Citations

3

H-Index

1993

Active since

Affiliations

Université Paris Cité(Current)

Marcel Masseron is an author at Université Paris Cité specializing in automated reasoning, formal methods, and logic programming.

Top concepts

Publications per year

1993–1993

3

Publications

3

Generating Plans in Linear Logic : I. Actions as proofs

Jacqueline Vauzeilles, Marcel Masseron, Christophe Tollu · HAL (Le Centre pour la Communication Scientifique Directe) · 1993 · 66 citations

Generating plans in linear logic

Marcel Masseron, Christophe Tollu, Jacqueline Vauzeilles · Theoretical Computer Science · 1993 · 38 citations

, , +4

Generating plans in linear logic

Marcel Masseron · Theoretical Computer Science · 1993 · 22 citations

, , +4

Rows per page

1–3 of 3