( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Correctness of Context-Moving Transformations for Term Rewriting Systems.

, , , и . LOPSTR, том 9527 из Lecture Notes in Computer Science, стр. 331-345. Springer, (2015)

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.

Yoshihito Ogasawara

Yoshitaka Toyama

Yoshihito Ogasawara

Takumi Toyama

Yoshihito Muroji

 

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

Program transformation by templates based on term rewriting., , и . PPDP, стр. 59-69. ACM, (2005)Proving Confluence of Term Rewriting Systems Automatically., , и . RTA, том 5595 из Lecture Notes in Computer Science, стр. 93-102. Springer, (2009)Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms.. RTA, том 3091 из Lecture Notes in Computer Science, стр. 40-54. Springer, (2004)Termination Transformation by Tree Lifting Ordering., и . RTA, том 1379 из Lecture Notes in Computer Science, стр. 256-270. Springer, (1998)Program Transformation by Templates: A Rewriting Framework., , и . Inf. Media Technol., 2 (1): 53-67 (2007)Correctness of Context-Moving Transformations for Term Rewriting Systems., , , и . LOPSTR, том 9527 из Lecture Notes in Computer Science, стр. 331-345. Springer, (2015)On the Church-Rosser property for the direct sum of term rewriting systems.. J. ACM, 34 (1): 128-143 (1987)Improving Rewriting Induction Approach for Proving Ground Confluence., , и . FSCD, том 84 из LIPIcs, стр. 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Confluence of Orthogonal Nominal Rewriting Systems Revisited., , , и . RTA, том 36 из LIPIcs, стр. 301-317. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems., и . RTA, том 10 из LIPIcs, стр. 91-106. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)