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