A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles
McGrail, Robert W., Nguyen, Thuy Trang, Tran, Thanh Thuy Trang, Tripathi, Arti
Published in 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2018)
Published in 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2018)
Get full text
Conference Proceeding
Discovering Political Slang in Readers' Comments
Hossain, Nabil, Tran, Thanh Thuy Trang, Kautz, Henry
Published in Proceedings of the International AAAI Conference on Web and Social Media (15.06.2018)
Published in Proceedings of the International AAAI Conference on Web and Social Media (15.06.2018)
Get full text
Journal Article