Computer Software
Print ISSN : 0289-6540
Distribution Elimination by Semantic Labelling : Methods for Proving Termination of Term Rewriting Systems.
Hitoshi Ohsaki, Aart Middeldorp, Tetsuo Ida
Author information
JOURNAL FREE ACCESS

1996 Volume 13 Issue 2 Pages 2_170-2_185

Details
Download PDF (1358K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Abstract

Content from these authors
© 1996, Japan Society for Software Science and Technology
Previous article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top