Travelled to:1 × France
Collaborated with:P.Enjalbert M.Lescot
Talks about:logic (2) program (1) order (1) multi (1) modal (1) equat (1) sort (1) use (1)
Person: Françoise Debart
DBLP: Debart:Fran=ccedil=oise
Contributed to:
1990Wrote 1 papers:
- ALP-1990-DebartEL #equation #logic programming #multi #order #using
- Multi-Modal Logic Programming using Equational and Order-Sorted Logic (FD, PE, ML), pp. 55–69.