Françoise Debart

List of publications from the DBLP Bibliography Server - FAQ

1992

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)

1990

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

1992
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)
1990
1		Françoise Debart, Patrice Enjalbert, Madeleine Lescot: Multi-Modal Logic Programming using Equational and Order-Sorted Logic. ALP 1990: 55-69

Coauthor Index