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
id ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-11118
record_format oai_dc
spelling ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-111182013-01-07T23:46:07ZDecidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSsYi, WangSakai, Masahiko初出後の修正版。2006Article(author)http://hdl.handle.net/2237/11118Proc. of 17th Int'l Conference on Rewriting Techniqes and Applications, Seattle RTA2006, LNCS. v.4098, p.343-356en_US
collection NDLTD
language en_US
sources NDLTD
description 初出後の修正版。
author Yi, Wang
Sakai, Masahiko
spellingShingle Yi, Wang
Sakai, Masahiko
Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs
author_facet Yi, Wang
Sakai, Masahiko
author_sort Yi, Wang
title Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs
title_short Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs
title_full Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs
title_fullStr Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs
title_full_unstemmed Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs
title_sort decidability of termination left-linear shallow trss and related systems for semi-constructor trss
publishDate 2006
url http://hdl.handle.net/2237/11118
work_keys_str_mv AT yiwang decidabilityofterminationleftlinearshallowtrssandrelatedsystemsforsemiconstructortrss
AT sakaimasahiko decidabilityofterminationleftlinearshallowtrssandrelatedsystemsforsemiconstructortrss
_version_ 1716491560104755200

Similar Items