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

The Verus language: representing time efficiently with BDDs.

Sérgio Vale Aguiar CamposEdmund M. Clarke
Published in: Theor. Comput. Sci. (2001)
Keyphrases
  • programming language
  • natural language
  • language learning
  • highly efficient
  • databases
  • relational databases
  • heuristic search
  • modeling language
  • computational linguistics
  • formal representation
  • uniform manner