Predictive Labeling
スポンサーリンク
概要
- 論文の詳細を見る
Proceedings of the 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006.Semantic labeling is a transformation technique for proving the termination of rewrite systems. The semantic part is given by a quasi-model of the rewrite rules. In this paper we present a variant of semantic labeling in which the quasi-model condition is only demanded for the usable rules induced by the labeling. Our variant is less powerful in theory but maybe more useful in practice.
論文 | ランダム
- IC演算増幅器を応用したCO2自動溶接機 (溶接機(特集))
- 高速CO2溶接法 (溶接機(特集))
- 抵抗溶接用品質管理機器 (溶接機(特集))
- 管溶接用数値制御自動アーク溶接装置 (溶接機(特集))
- 三相整流式抵抗溶接機 (溶接機(特集))