Madeleine Lescot Vis

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

Coauthor Index

1	Françoise Clérin-Debart (Françoise Debart)	[1] [2]
2	Patrice Enjalbert	[1] [2]