​
Login / Signup
Munehiro Iwami
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 2
Top Topics
Type Checking
Knuth Bendix
Theorem Prover
Term Rewriting
Top Venues
CoRR
LATA
</>
Publications
</>
Keisuke Nakano
,
Munehiro Iwami
Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version).
CoRR
(2024)
Mamoru Ishizuka
,
Takahito Aoto
,
Munehiro Iwami
Commutative Rational Term Rewriting.
LATA
(2021)
Takahito Aoto
,
Munehiro Iwami
Termination of Rule-Based Calculi for Uniform Semi-Unification.
LATA
(2013)
Munehiro Iwami
Persistence of Semi-Completeness for Term Rewriting Systems.
Artificial Intelligence and Applications
(2005)
Munehiro Iwami
An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited.
LAPTEC
(2005)
Munehiro Iwami
Persistence of Termination for Term Rewriting Systems with Ordered Sorts.
Artificial Intelligence and Applications
(2005)
Munehiro Iwami
Persistence of Termination for Right-Linear Overlay Term Rewriting Systems.
Artificial Intelligence and Applications
(2005)