What's Decidable about (Atomic) Polymorphism.

Paolo Pistone Luca Tranchini

Published in: CoRR (2021)

Keyphrases

transitive closure
databases
evolutionary algorithm
data mining
knowledge base
decision trees
case study
relational databases
datalog programs
function symbols
polynomial hierarchy