Univ.-Prof. Dr. Aart Middeldorp   

A Sufficient Condition for the Termination of the Direct Sum of Term Rewriting Systems

Aart Middeldorp
Proceedings of the 4th Annual Symposium on Logic in Computer Science (LICS 1989), pp. 396 – 401, 1989

abstract   bibtex   doi:10.1109/LICS.1989.39194
© IEEE