Paliath Narendran
University at Albany, State University of New York(US)
Publications by Year
Research Areas
Logic, programming, and type systems, semigroups and automata theory, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Natural Language Processing Techniques
Most-Cited Works
- → Unification Theory(2001)213 cited
- → Church-Rosser Thue systems and formal languages(1988)129 cited
- → On sufficient-completeness and related properties of term rewriting systems(1987)118 cited
- → NP-completeness of the set unification and matching problems(1986)104 cited
- → Complexity of matching problems(1987)94 cited
- → Complexity of unification problems with associative-commutative operators(1992)77 cited
- → An equational approach to theorem proving in first-order predicate calculus(1985)74 cited