Ryota Haga

According to our database, Ryota Haga authored at least 1 paper in 2023.

Collaborative distances:

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

2023

A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems.

Ryota Haga, Yuki Kagaya, Takahito Aoto

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023