Concepedia

Madeleine Lescot

ML

1

Publications

37

Citations

1

H-Index

1992

Active since

Affiliations

Université de Caen Normandie(Current)

Madeleine Lescot is an author at Université de Caen Normandie specializing in formal methods, logic programming, and engineering.

Top concepts

Publications per year

1992–1992

1

Publications

1

Multimodal logic programming using equational and order-sorted logic

Françoise Debart, Patrice Enjalbert, Madeleine Lescot · Theoretical Computer Science · 1992 · 37 citations

, , +5

Rows per page

1–1 of 1