Defining Long Words Succinctly in FO and MSO.

Lauri Hella Miikka Vilander

Published in: CiE (2022)

Keyphrases

n gram
first order logic
transitive closure
information retrieval
computational complexity
logic programs
finite state
word recognition
linguistic information
syntactic categories