Madeleine Lescot (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Françoise Debart, Patrice Enjalbert, Madeleine Lescot: Multimodal Logic Programming Using Equational and Order-Sorted Logic. Theor. Comput. Sci. 105(1): 141-166 (1992)

1 Françoise Debart, Patrice Enjalbert, Madeleine Lescot: Multi-Modal Logic Programming using Equational and Order-Sorted Logic. ALP 1990: 55-69

Selection of 2 from 2 records - Madeleine Lescot has 2 coauthors

Last update 2012-02-18 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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