Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems.

Yi Wang Masahiko Sakai

Published in: RTA (2006)

Keyphrases

linear systems
neural network
distributed systems
intelligent systems
knowledge based systems
complex systems
rewrite systems
real time
data sets
learning algorithm
artificial intelligence
information systems
expert systems
natural language processing
computer systems
query answering