Login / Signup

State hyperstructures of tree automata based on lattice-valued logic.

Maryam Ghorani
Published in: RAIRO Theor. Informatics Appl. (2018)
Keyphrases
  • valued logic
  • first order logic
  • classical logic
  • database
  • real time
  • artificial intelligence
  • query processing
  • expressive power