On the Decidability of Infix Inclusion Problem.

Hyunjoon Cheon Joonghyuk Hahn Yo-Sub Han

Published in: Theory Comput. Syst. (2024)

Keyphrases

description logics
query answering
decision procedures
machine learning
preprocessing
databases
web pages
hidden markov models
probability distribution