Optimizing Equational Programs.

Published in: RTA (1987)

Keyphrases

theorem proving
machine learning
information systems
automatic programming
databases
search engine
reinforcement learning
relational databases
theorem prover
computer programs
fixpoint
control structures