A structural completeness theorem for a class of conditional rewrite rule systems.

Sergei G. Vorobyov

Published in: Conference on Computer Logic (1988)

Keyphrases

case study
von neumann
data mining
database
decision trees
multi agent
probability distribution
management system
software engineering
knowledge based systems
retrieval systems
classification rules