Search

Your search keyword '"reduction order"' showing total 1 results
Start Over Descriptor "reduction order" Publication Year Range Last 3 years

Refine your results

1 results on '"reduction order"'

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

Author

Guo, Ziyu

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

Supervisor: 廣川 直, 先端科学技術研究科, 修士(情報科学)

Published
2023

Catalog

Books, media, physical & digital resources
See catalog results