On Bar Recursion and Choice in a Classical Setting.

Valentin Blot Colin Riba

Published in: APLAS (2013)

Keyphrases

real time
deductive databases
database
artificial intelligence
decision trees
case study
optimal solution
data model