Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof

Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof

Bibliographic Details
Main Authors: Nishida, Naoki, Sakai, Masahiko, Sakabe, Toshiki
Language:en
Published: 2003
Online Access:http://hdl.handle.net/2237/9247

Internet

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

Similar Items