• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Defining Long Words Succinctly in FO and MSO.

Lauri HellaMiikka 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