On the Membership Problem of Permutation Grammars - A Direct Proof of NP-Completeness.

Published in: Int. J. Found. Comput. Sci. (2020)

Keyphrases

information retrieval
data structure
natural language
theorem proving
visual languages
database
data mining
machine learning
theorem prover
grammatical inference
finite state automata
logical rules
proof planning