Automatically Proving Equivalence by Type-Safe Reflection.

Franck Slama Edwin C. Brady

Published in: CICM (2017)

Keyphrases

real time
user defined
automatically generated
information systems
decision making
decision trees
expert systems
evolutionary algorithm