Sémantique des programmes Datalog avec négation sous hypothèses non-uniformes

Yann Loyer, Nicolas Spyratos. Sémantique des programmes Datalog avec négation sous hypothèses non-uniformes. In Philippe Pucheral, editor, 18èmes Journées Bases de Données Avancées, BDA 02, 21-25 octobre 2002, Evry, Actes (Informal Proceedings). 2002.

Abstract

Abstract is missing.