Paliath Narendran

Publications

1.6K

Citations

H-Index

1984

Active since

Affiliations

University at Albany, State University of New York(Current)

General Electric (United States)

Albany State University

Rensselaer Polytechnic Institute

University of Kaiserslautern

Paliath Narendran is an author at University at Albany, State University of New York specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationComputational ComplexityVerificationLanguageLinguisticsDiscrete Mathematics

Publications per year

1984–2014

Publications

Church-Rosser Thue systems and formal languages

Robert McNaughton, Paliath Narendran, Friedrich Otto · Journal of the ACM · 1988 · 129 citations · Full text

Engineering, Church-rosser Thue Systems, Higher-order Logic +16

On sufficient-completeness and related properties of term rewriting systems

Deepak Kapur, Paliath Narendran, Hantao Zhang · Acta Informatica · 1987 · 118 citations

Engineering, Automated Reasoning, Regulated Rewriting +6

Complexity of matching problems

Dan Benanav, Deepak Kapur, Paliath Narendran · Journal of Symbolic Computation · 1987 · 93 citations

Mathematical Programming, Engineering, Matching Technique +6

Complexity of unification problems with associative-commutative operators

Deepak Kapur, Paliath Narendran · Journal of Automated Reasoning · 1992 · 77 citations

Algebraic Logic, Engineering, Automated Reasoning +4

An equational approach to theorem proving in first-order predicate calculus

Deepak Kapur, Paliath Narendran · ACM SIGSOFT Software Engineering Notes · 1985 · 74 citations

Theory Of Computing, New Yorkview Profile, Engineering +15

Rows per page

1–5 of 46