An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
スポンサーリンク
概要
- 論文の詳細を見る
This paper explores how to extend the dependency pair technique for proving termination of higher -order rewrite systems. We show that the termination property of higher-order rewrite systems can be checked by the non-existence of an infinite R-chain, which is an extension of Arts' and Giesl's result for the first-order case. It is clarified that the subterm property of the quasi-ordering, used for proving termination automatically, is indispensable.
- 社団法人電子情報通信学会の論文
- 2001-08-01
著者
-
Sakai M
Graduate School Of Information Science Nagoya University
-
Sakai Masahiko
Department Of Gastroenterological Endoscopy Kyoto University
-
Sakai Masahiko
Department Of Electrical Engineering School Of Science And Engineering Waseda University
-
WATANABE Yoshiaki
The Faculty of Science and Engineering, Saga University
-
Sakai M
Nagoya Univ. Nagoya Jpn
-
WATANABE Yoshitsugu
Department of Information Engineering, Nagoya University
-
SAKABE Toshiki
Department of Information Engineering, Nagoya University
-
Sakabe Toshiki
Department Of Electrical Engineering Faculty Of Engineering Nagoya University
-
Sakabe Toshiki
Department Of Information Engineering Nagoya University
-
Watanabe Yoshitsugu
Department Of Information Engineering Nagoya University:(present Address) Building Systems Dept. Mit
-
Sakai Masahiko
Department Of Information Engineering Nagoya University
-
Sakai Masahiko
Department of Biology, Faculty of Science, Kanazawa University
関連論文
- COMPARISON OF HISTOLOGICAL ANALYSIS AND ENDOSONOGRAPHIC FEATURES IN ESOPHAGEAL GRANULAR CELL TUMORS
- Ternary ZCZ Sequence Sets for Cellular CDMA Systems
- An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
- An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
- Refractory enterovesical and duodenocolic fistulas in Crohn's disease successfully managed with tacrolimus
- EOSINOPHILIC GASTROENTERITIS WITH PREDOMINANT MUSCULAR LAYER DISEASE : FEATURE OF ENDOSCOPIC ULTRASONOGRAPHY
- Left-Incompatible Term Rewriting Systems and Functional Strategy
- Clinical trial of prophylactic endoscopic variceal ligation for esophageal varices
- Relationship between the lifestyle of a siboglinid (Pogonophoran) polychaete, Oligobrachia mashikoi, and the total sulfide and nitrogen levels in its habitat
- CO_2 Absorption into Liquid
- Grain Boundary Sliding and Atomic Structures in Alumina Bicrystals with [0001] Symmetric Tilt Grain Boundaries
- Low Frequency Oscillations in Copper Doped Germanium
- On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
- Capillary Electrophoresis of Small Anions in Complex Samples with a Hollow Fiber Sampling Inlet End
- Effects of Chemical Modification of Arginine Residues Outside the Active Site Cleft of Ricin A-Chain on Its RNA N-Glycosidase Activity for Ribosomes
- Index Reduction of Overlapping Strongly Sequential Systems
- NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)
- Algebraic Specification Method of Programming Languages(Software Science and Engineering)
- Confluence Property of Simple Frames in Dynamic Term Rewriting Calculus
- Mechanizing Explicit Inductive Equational Reasoning by DTRC