Sign in
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