Back to Search Start Over

依存対手法の簡約順序への再定式化

Authors :
Guo, Ziyu
Publication Year :
2023

Abstract

Supervisor: 廣川 直<br />先端科学技術研究科<br />修士(情報科学)

Subjects

Subjects :
項書換え
簡約順序
Reduction Order
依存対手法
Dependency Pair Method
Term Rewriting

Details

Language :
Japanese
Database :
OpenAIRE
Accession number :
edsair.jairo.........fc992ed674b459224887b6f50b91591e

Tools

Authors Abstract Subjects Details