V. Thibau

According to our database¹, V. Thibau authored at least 3 papers between 1990 and 1991.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1991

Programming in Three-valued Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

1990

A new model semantics for a program with negation.

[BibT_eX]

Proceedings of the SPLT'90, 1990

The Optimal Model of a Program with Negation.

[BibT_eX]

[DOI]

Proceedings of the Logics in AI, European Workshop, 1990