Login / Signup
Karine Liogier
Publication Activity (10 Years)
Years Active: 1996-1997
Publications (10 Years): 0
</>
Publications
</>
Karine Liogier
Négation constructive et modèles bivalués.
JFPLC
(1997)
G. Blanc
,
Karine Liogier
Négation constructive et aximatique interne.
RAIRO Theor. Informatics Appl.
31 (5) (1997)
Karine Liogier
Système général de contraintes avec négation.
JFPLC
(1996)