Type Introduction for Equational Rewriting.

Hitoshi Ohsaki Aart Middeldorp

Published in: LFCS (1997)

Keyphrases

special case
neural network
case study
theorem proving
data sets
genetic algorithm
feature selection
multiscale
type checking
queries using views