Two Automated Methods in Implementation Proofs.

Leo Marcus Timothy Redmond

Published in: CADE (1988)

Keyphrases

implementation details
efficient implementation
real world
artificial neural networks
implementation issues
high level
general purpose