Login / Signup

Formal Language Characterizations of P, NP, and PSPACE.

Bernd Borchert
Published in: J. Autom. Lang. Comb. (2008)
Keyphrases
  • formal language
  • formal semantics
  • natural language
  • natural language interface
  • representation language
  • formal languages
  • temporal logic
  • database
  • databases
  • artificial intelligence
  • cloud computing