A tableaux procedure for the implication problem for association rules

Authors:
Wendy MacCaull
Affiliations:
-
Venue:
Relational methods for computer science applications
Year:
2001

Citing 0
Cited 2

A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories

ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Context Algebras, Context Frames, and Their Discrete Duality

Transactions on Rough Sets IX

Quantified Score

Hi-index	0.00

Visualization

Abstract