V. Thibau

Publication Activity (10 Years)

Years Active: 1990-1991
Publications (10 Years): 0

Publications

Jean-Paul Delahaye, V. Thibau
Programming in Three-valued Logic. Theor. Comput. Sci. 78 (1) (1991)
Jean-Paul Delahaye, V. Thibau
A new model semantics for a program with negation. SPLT (1990)
Jean-Paul Delahaye, V. Thibau
The Optimal Model of a Program with Negation. JELIA (1990)