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

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

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

Internet

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

Similar Items