Munehiro Iwami
Orcid: 0000-0001-9925-450X
According to our database1,
Munehiro Iwami
authored at least 6 papers
between 2005 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the Language and Automata Theory and Applications, 2021
2013
Proceedings of the Language and Automata Theory and Applications, 2013
2005
Proceedings of the Advances in Logic Based Intelligent Systems, 2005
Persistence of Semi-Completeness for Term Rewriting Systems.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005
Persistence of Termination for Right-Linear Overlay Term Rewriting Systems.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005
Persistence of Termination for Term Rewriting Systems with Ordered Sorts.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005