Françoise Debart

Publication Activity (10 Years)

Years Active: 1990-1992
Publications (10 Years): 0

Publications

Françoise Debart, Patrice Enjalbert, Madeleine Lescot
Multimodal Logic Programming Using Equational and Order-Sorted Logic. Theor. Comput. Sci. 105 (1) (1992)
Françoise Debart, Patrice Enjalbert, Madeleine Lescot
Multi-Modal Logic Programming using Equational and Order-Sorted Logic. ALP (1990)