Semantics for Classical AUTOMATH and Related Systems

Henk Barendregt Adrian Rezus

Published in: Inf. Control. (1983)

Keyphrases

neural network
database
formal semantics
rewrite systems
metadata
bayesian networks
expert systems
distributed systems
data management