Get started
Author

Munehiro Iwami

Observed names: IWAMI, Munehiro, Iwami, Munehiro, 宗弘 岩見, 岩見, 宗弘
ORCID: 0000-0001-9925-450X
Observed ORCID: 0000-0001-9925-450X
OpenAlex ID: A5069440055
Simplification Ordering for Higher-Order Rewrite Systems
1998 · Munehiro Iwami, Yoshihito Toyama · JAIST Repository · 5
Persistence Of Termination For Term Rewriting Systems With Ordered Sorts
2007 · Munehiro Iwami · Zenodo (CERN European Organization for Nuclear Research) · 4
PDF
Persistence of Termination for Right-Linear Overlay Term Rewriting Systems.
2005 · Munehiro Iwami · 3
Termination of higher-order rewrite systems
1999 · 宗弘 岩見 · Medical Entomology and Zoology · 3
An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
1998 · IWAMI, Munehiro, SAKAI, Masahiko, et al. · Institutional Repositories DataBase (IRDB) · 3
Persistence Of Termination For Non-Overlapping Term Rewriting Systems
2007 · Munehiro Iwami · 2
Persistence of Semi-Completeness for Term Rewriting Systems.
2005 · Munehiro Iwami · 2
Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata
2024 · Keisuke Nakano, Munehiro Iwami · Lecture notes in computer science · 1
Disproving Termination of O and S-like Combinators by Tree Automata
2026 · Munehiro Iwami, Keisuke Nakano · Journal of Information Processing
PDF
Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
2024 · Nakano, Keisuke, Iwami, Munehiro · arXiv (Cornell University)
PDF
Commutative Rational Term Rewriting
2021 · Mamoru Ishizuka, Takahito Aoto, et al. · Lecture notes in computer science
可換有理項書換え【jst・京大機械翻訳】
2021 · Mamoru Ishizuka, Aoto Takahito, et al. · Lecture notes in computer science
一意半単一化と正則単一化の比較 (代数系、論理、言語と計算機科学の周辺)
2019 · Iwami, Munehiro · Institutional Repositories DataBase (IRDB)
PDF
正則項上の単一化について (言語、論理、代数系と計算機科学の展開)
2017 · 宗弘 岩見 · Kyoto University Research Information Repository (Kyoto University)
PDF
正則項上の単一化について (言語、論理、代数系と計算機科学の展開)
2017 · Iwami, Munehiro · Institutional Repositories DataBase (IRDB)
PDF
一意半単一化問題とアンカー付き半単一化問題の比較 (代数系・論理・言語と計算機科学の新たな接点)
2015 · 宗弘 岩見 · Kyoto University Research Information Repository (Kyoto University)
PDF
一意半単一化問題とアンカー付き半単一化問題の比較 (代数系・論理・言語と計算機科学の新たな接点)
2015 · Iwami, Munehiro · Institutional Repositories DataBase (IRDB)
PDF
Uniform Semi-Unification (Logics, Algebras and Languages in Computer Science)
2014 · 等人 青戸, 宗弘 岩見 · Kyoto University Research Information Repository (Kyoto University)
PDF
Uniform Semi-Unification (Logics, Algebras and Languages in Computer Science)
2014 · Aoto, Takahito, Iwami, Munehiro · Institutional Repositories DataBase (IRDB)
PDF
Termination of Rule-Based Calculi for Uniform Semi-Unification
2013 · Takahito Aoto, Munehiro Iwami · Lecture notes in computer science
無限項書き換えシステムにおける性質に関する考察 (代数と言語のアルゴリズムと計算理論)
2011 · Iwami, Munehiro, Aoto, Takahito · Institutional Repositories DataBase (IRDB)
PDF
左線形かつ$k$-開発閉包な項書換えシステムの合流性に関する考察 (代数と言語のアルゴリズムと計算理論)
2010 · 宗弘 岩見 · Kyoto University Research Information Repository (Kyoto University)
PDF
左線形かつk-開発閉包な項書換えシステムの合流性に関する考察 (代数と言語のアルゴリズムと計算理論--rims研究集会報告集)
2010 · 宗弘 岩見 · 数理解析研究所講究録
左線形かつ$k$-開発閉包な項書換えシステムの合流性に関する考察 (代数と言語のアルゴリズムと計算理論)
2010 · Iwami, Munehiro · Institutional Repositories DataBase (IRDB)
PDF
A-011 組合せ子の強収束性(モデル・アルゴリズム・プログラミング,一般論文)
2009 · 宗弘 岩見 · 情報科学技術フォーラム講演論文集
Works count: 55
Citation count: 23
H-index: 3
I10-index:
Year
Topic
Type