Structure-Preserving Binary Relations for Program Abstraction.

David A. Schmidt

Published in: The Essence of Computation (2002)

Keyphrases

structure preserving
binary relations
inference rules
transitive closure
graph theoretic
machine learning
databases
concept lattice
neural network
genetic programming
weighted majority voting