The Verus language: representing time efficiently with BDDs.

Sérgio Vale Aguiar Campos Edmund 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