No Result Found
|
|
| Year of Publication |
2013
|
| Journal |
In other words 3 (5), 2013
|
| Download citation |
Publications
Multiset path orderings and their application to termination of term rewriting systems
Associate Professor of Microbiology & Immunology
Citation: 1.Multiset path orderings and their application to termination of term rewriting systems. In other words 3 (5), 2013. 2013.
In: In other words 3 (5), 2013
Published by: D Singh, AM Shuaibu , 2013
google Scholar link: https://scholar.google.com/citations?view_op=view_citation&hl=en&user=NLLkyOgAA…
Cited by: 7