Decidable Varieties of Hoops.

Stanley Burris Isabel M. A. Ferreirim

Published in: Reports Math. Log. (1994)

Keyphrases

first order logic
data sets
transitive closure
evolutionary algorithm
polynomial hierarchy
databases
machine learning
multiscale
search algorithm
multi agent systems
expert systems
query containment
function symbols