The Unification Problem for Confluent Semi-Constructor TRSs.

Ichiro Mitsuhashi Michio Oyamaguchi Kunihiro Matsuura

Published in: IEICE Trans. Inf. Syst. (2010)

Keyphrases

higher order
theorem proving
data analysis
equational theories
active learning
data sets
artificial intelligence
relational databases
knuth bendix