Decidable Inequalities over Infinite Trees.

Sabine Bauer Steffen Jost Martin Hofmann

Published in: LPAR (2018)

Keyphrases

sufficient conditions
decision trees
finite sets
tree structure
transitive closure
linear inequalities
database
neural network
datalog programs
tree construction