Type Introduction for Equational Rewriting.

Aart Middeldorp Hitoshi Ohsaki

Published in: Acta Informatica (2000)

Keyphrases

information retrieval
artificial intelligence
image processing
databases
genetic algorithm
learning algorithm
computer vision
bayesian networks
relational databases
conjunctive queries
theorem proving
rewrite rules
type checking