Convergent Term Rewriting Systems for Inverse Computation of Injective Functions

Convergent Term Rewriting Systems for Inverse Computation of Injective Functions

Bibliographic Details
Main Authors: Nishida, Naoki, Sakai, Masahiko, Kato, Terutoshi
Language:en
Published: 2007
Online Access:http://hdl.handle.net/2237/9239

Internet

http://hdl.handle.net/2237/9239

Similar Items