Proving Properties about Functions on Lists Involving Element Tests.

Daniel Seidel Janis Voigtländer

Published in: WADT (2010)

Keyphrases

desirable properties
topological properties
aggregation functions
data sets
website
decision trees
real time