Login / Signup
Atri Tripathi
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Term Rewriting
Theorem Prover
Knuth Bendix
Equational Theories
Top Venues
SYNASC
</>
Publications
</>
Robert W. McGrail
,
Thuy Trang Nguyen
,
Thanh Thuy Trang Tran
,
Atri Tripathi
A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles.
SYNASC
(2018)