( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Termination of Rule-Based Calculi for Uniform Semi-Unification.

, и . LATA, том 7810 из Lecture Notes in Computer Science, стр. 56-67. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

No persons found for author name Iwami, Munehiro
add a person with the name Iwami, Munehiro
 

Другие публикации лиц с тем же именем

Persistence of Semi-Completeness for Term Rewriting Systems.. Artificial Intelligence and Applications, стр. 692-696. IASTED/ACTA Press, (2005)Termination of Rule-Based Calculi for Uniform Semi-Unification., и . LATA, том 7810 из Lecture Notes in Computer Science, стр. 56-67. Springer, (2013)An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited.. LAPTEC, том 132 из Frontiers in Artificial Intelligence and Applications, стр. 18-25. IOS Press, (2005)Persistence of Termination for Right-Linear Overlay Term Rewriting Systems.. Artificial Intelligence and Applications, стр. 686-691. IASTED/ACTA Press, (2005)Commutative Rational Term Rewriting., , и . LATA, том 12638 из Lecture Notes in Computer Science, стр. 200-212. Springer, (2021)Persistence of Termination for Term Rewriting Systems with Ordered Sorts.. Artificial Intelligence and Applications, стр. 674-679. IASTED/ACTA Press, (2005)