Sayaka Ishizuki

According to our database, Sayaka Ishizuki authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Conditions for confluence of innermost terminating term rewriting systems.

Sayaka Ishizuki, Michio Oyamaguchi, Masahiko Sakai

Appl. Algebra Eng. Commun. Comput., 2019