Computing and Proving.

Henk Barendregt

Published in: RTA (2001)

Keyphrases

search engine
decision trees
case study
three dimensional
database systems
optimal solution
video sequences
computer science
viewpoint
efficient computation