The Joinability and Unification Problems for Confluent Semi-constructor TRSs.

Ichiro Mitsuhashi Michio Oyamaguchi Yoshikatsu Ohta Toshiyuki Yamada

Published in: RTA (2004)

Keyphrases

optimization problems
application domains
main problems
solving problems
data mining
artificial neural networks
np complete
related problems
real time
databases
genetic algorithm
artificial intelligence
image processing
higher order
theorem proving
difficult problems