7 results on '"Narendran, Paliath"'
Search Results
2. Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages)
3. An algorithm for finding canonical sets of ground rewrite rules in polynomial time
4. Theorem proving using equational matings and rigid E -unification
5. An equational approach to theorem proving in first-order predicate calculus
6. Church-Rosser Thue systems and formal languages
7. Matching, unification and complexity
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.