Login / Signup
Generalized Rewriting in Type Theory.
David A. Basin
Published in:
J. Inf. Process. Cybern. (1994)
Keyphrases
</>
real time
theoretical basis
computational models
formal theory
database
real world
learning algorithm
clustering algorithm
similarity measure
multiscale
search algorithm
expert systems
relational databases
theoretical framework
general theory
type checking