The Verus Language: Representing Time Efficiently with BDDs.

Sérgio Vale Aguiar Campos Edmund M. Clarke

Published in: ARTS (1997)

Keyphrases

language learning
natural language
programming language
databases
heuristic search
social networks
website
bayesian networks
multi agent
relational databases
software engineering
general purpose
language processing