( en | de | ru )

 

Disambiguation of "Oyamaguchi, Michio"

Author of the publication

copydeleteadd this publication to your clipboard
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent.

, , and . CADE, volume 9195 of Lecture Notes in Computer Science, page 111-126. 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. You can also use the button next to the name to display some publications already assigned to the person.

Michio Kamitake

 

Other publications of authors with the same name

Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent., , and . CADE, volume 9195 of Lecture Notes in Computer Science, page 111-126. Springer, (2015)The equivalence problem for real-time DPDAs.. J. ACM, 34 (3): 731-760 (1987)On the Equivalence Problem for Two DPDA's, One of which is Real-Time., , and . IFIP Congress, page 53-58. (1980)The Confluence Problem for Flat TRSs., , and . AISC, volume 4120 of Lecture Notes in Computer Science, page 68-81. Springer, (2006)A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems., and . RTA, volume 1232 of Lecture Notes in Computer Science, page 187-201. Springer, (1997)The Unification Problem for Confluent Right-Ground Term Rewriting Systems., and . RTA, volume 2051 of Lecture Notes in Computer Science, page 246-260. Springer, (2001)Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems., and . CTRS, volume 968 of Lecture Notes in Computer Science, page 316-331. Springer, (1994)Critical Peaks Redefined - $ΦΨ= \top$., , , and . CoRR, (2017)Confluence by Critical Pair Analysis Revisited., , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 319-336. Springer, (2019)The Joinability and Unification Problems for Confluent Semi-constructor TRSs., , , and . RTA, volume 3091 of Lecture Notes in Computer Science, page 285-300. Springer, (2004)