Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs

Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs

初出後の修正版。

Bibliographic Details
Main Authors:	Yi, Wang, Sakai, Masahiko
Language:	en_US
Published:	2006
Online Access:	http://hdl.handle.net/2237/11118

Internet

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