A Rewriting System for Categorical Combinators with Multiple Arguments.

Hirofumi Yokouchi Teruo Hikita

Published in: SIAM J. Comput. (1990)

Keyphrases

decision making
information retrieval
data sets
database systems
bayesian networks
expert systems
query rewriting
argumentation systems