2006年
The confluence problem for flat TRSs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- ,
- ,
- 巻
- 4120 LNAI
- 号
- 開始ページ
- 68
- 終了ページ
- 81
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/11856290_8
- 出版者・発行元
- SPRINGER-VERLAG BERLIN
We prove that the properties of reachability, joinability and confluence are undecidable for flat TRSs. Here, a TRS is flat if the heights of the left and right-hand sides of each rewrite rule are at most one. © Springer-Verlag Berlin Heidelberg 2006.
- リンク情報
-
- DOI
- https://doi.org/10.1007/11856290_8
- DBLP
- https://dblp.uni-trier.de/rec/conf/aisc/MitsuhashiOJ06
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000242127700006&DestApp=WOS_CPL
- Scopus
- https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=33749646120&origin=inward
- Scopus Citedby
- https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=33749646120&origin=inward
- URL
- https://dblp.uni-trier.de/conf/aisc/2006
- URL
- https://dblp.uni-trier.de/db/conf/aisc/aisc2006.html#MitsuhashiOJ06
- ID情報
-
- DOI : 10.1007/11856290_8
- ISSN : 0302-9743
- eISSN : 1611-3349
- ISBN : 3540397280
- DBLP ID : conf/aisc/MitsuhashiOJ06
- SCOPUS ID : 33749646120
- Web of Science ID : WOS:000242127700006