Concepedia

Author

Françoise Debart

Université de Caen Normandie

Also Known As

Françoise Debart

2

Publications

45

Citations

2

H-Index

6

Concepts

All Affiliations

Université de Caen Normandie
FD

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

37

2

Computer Science

1

1

37

3

Automated Reasoning

1

1

37

4

Formal Methods

1

1

37

5

Logic Programming

1

1

37

Françoise Debart

×

1

Publications

37

Citations

1

H-Index

YearCitations

Page 1