Login / Signup

FO2(<, +1, ~) on data trees, data tree automata and branching vector addition systems.

Florent JacquemardLuc SegoufinJerémie Dimino
Published in: Log. Methods Comput. Sci. (2016)
Keyphrases
  • data analysis
  • database
  • training data
  • machine learning
  • learning algorithm
  • expert systems
  • data sources
  • building blocks
  • first order logic