Détection de redondances dans les tableaux guidée par une ontologie.

Rania Khéfifi Patrice Buche Juliette Dibie-Barthélemy Fatiha Saïs

Published in: EGC (2011)

Keyphrases

modal logic
decision procedures
functional dependencies
automated reasoning
sequent calculi