Equational Axioms for Regular Sets.

Stephen L. Bloom Zoltán Ésik

Published in: Math. Struct. Comput. Sci. (1993)

Keyphrases

horn clauses
theorem proving
first order logic
database
knowledge base
inference rules
databases
machine learning
social networks
information systems
decision trees
database systems
database queries