Computer Software
Print ISSN : 0289-6540
Improving Efficiency of Computation of Linear Constructor Term Rewriting Systems with Extra Variables
Naoki NISHIDA, Masahiko SAKAI, Toshiki SAKABE
Author information
JOURNAL FREE ACCESS

2004 Volume 21 Issue 3 Pages 198-205

Details
Download PDF (154K)
Download citation RIS

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

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Abstract
[in Japanese]
Content from these authors
© Japan Society for Software Science and Technology 2004
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top