(Generalized) Post Correspondence Problem and semi-Thue systems

François Nicolas

Published in: CoRR (2008)

Keyphrases

management system
building blocks
neural network
expert systems
distributed systems
knowledge based systems
learning algorithm
artificial intelligence
computer vision
web services
computer systems
learning systems