Termination of Single-Threaded One-Rule Semi-Thue Systems.

Wojciech Moczydlowski Alfons Geser

Published in: RTA (2005)

Keyphrases

expert systems
rewrite systems
real time
database systems
management system
computer systems
building blocks
learning systems