Two equational theories of partial words.

Christian Choffrut Zoltán Ésik

Published in: Theor. Comput. Sci. (2018)

Keyphrases

equational theories
n gram
databases
theorem proving
keywords
word sense disambiguation
word segmentation
answer set programming