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- |
1 | G. Blanc | [2] |