Login / Signup

Introducing Proof Tree Automata and Proof Tree Graphs.

Valentin D. Richard
Published in: CoRR (2022)
Keyphrases
  • tree automata
  • tree languages
  • finite automata
  • regular expressions
  • database
  • reinforcement learning
  • relational databases
  • xml documents
  • wordnet
  • tree structure
  • tree structured data
  • ordered trees