A Restricted Form on Higher-Order Rewriting Applied to an HDL Semantics.

Richard J. Boulton

Published in: RTA (1995)

Keyphrases

higher order
database
natural images
neural network
multiscale
logical language
databases
pairwise
semantically equivalent