검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems 고차 재작성 시스템의 종료를 증명하기 위한 종속성 쌍 방법의 확장

Masahiko SAKAI, Yoshitsugu WATANABE, Toshiki SAKABE

  • 조회수

    0

  • 이것을 인용

요약 :

본 논문에서는 고차 재작성 시스템의 종료를 증명하기 위해 종속성 쌍 기술을 확장하는 방법을 탐구합니다. 우리는 고차 재작성 시스템의 종료 속성이 무한의 존재로 확인될 수 있음을 보여줍니다. R-chain은 1차 사례에 대한 Arts'와 Giesl의 결과를 확장한 것입니다. 종료를 자동으로 증명하는 데 사용되는 준주문의 하위 항목 속성이 필수라는 것이 분명해졌습니다.

발행
IEICE TRANSACTIONS on Information Vol.E84-D No.8 pp.1025-1032
발행일
2001/08/01
공개일
온라인 ISSN
DOI
원고의 종류
PAPER
범주
계산 이론/모델

작성자

키워드