Article dans une revue, Base de données, Informatique

Deductive databases in four-valued logic: rule semantics and models

Dominique Laurent, Nicolas Spyratos. Deductive databases in four-valued logic: rule semantics and models. Journal of Logic and Computation, In press, ⟨10.1093/logcom/exac047⟩. ⟨hal-03798012⟩

Publié le