Concepedia

Françoise Debart

FD

1

Publications

37

Citations

1

H-Index

1992

Active since

Affiliations

Université de Caen Normandie(Current)

Françoise Debart is an author at Université de Caen Normandie specializing in automated reasoning, engineering, and order-sorted logic.

Top concepts

EngineeringFormal MethodsComputer ScienceLogic ProgrammingOrder-sorted LogicAutomated Reasoning

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

Computational Logic, Engineering, Automated Reasoning +5

Rows per page

1–1 of 1