Atri Tripathi

According to our database, Atri Tripathi authored at least 1 paper in 2018.

Collaborative distances:

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

2018

A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles.

Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018