Login / Signup
Paths, tree homomorphisms and disequalities for -clauses.
Andreas Reuß
Helmut Seidl
Published in:
Math. Struct. Comput. Sci. (2018)
Keyphrases
</>
tree structure
graph theory
search space
tree structures
horn clauses
first order logic
b tree
finite state automata
shortest path
data sets
multi dimensional
spanning tree
binary tree
tree models