Login / Signup
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