Travelled to:1 × France
Collaborated with:F.Debart M.Lescot
Talks about:logic (2) program (1) order (1) multi (1) modal (1) equat (1) sort (1) use (1)
Person: Patrice Enjalbert
DBLP: Enjalbert:Patrice
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.