Karine Liogier

1997
3		Karine Liogier: Négation constructive et modèles bivalués. JFPLC 1997: 85-100
2		G. Blanc, Karine Liogier: Négation constructive et aximatique interne. ITA 31(5): 411-428 (1997)
1996
1		Karine Liogier: Système général de contraintes avec négation. JFPLC 1996: 287-

Coauthor Index

1

G. Blanc

[2]