Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables.

André Arnold Max Dauchet

Published in: Math. Syst. Theory (1978)

Keyphrases

equivalence relation
datalog programs
query containment
hybrid algorithm
neural network
rough set theory
query answering