Login / Signup

On First-Order Fragments for Words and Mazurkiewicz Traces.

Volker DiekertManfred Kufleitner
Published in: Developments in Language Theory (2007)
Keyphrases
  • mazurkiewicz traces
  • temporal logic
  • satisfiability problem
  • n gram
  • model checking
  • keywords
  • word recognition
  • linear temporal logic
  • word sense disambiguation
  • text corpora
  • english words