Searching for authors named "Paliath Narendran" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Solving Linear Equations Over Polynomial Semirings
- …Solving linear equations over polynomial semirings Paliath Narendran Institute of Programming…
- Cited by 10 (5 self) – Add To MetaCart
-
Double-Exponential Complexity of Computing a Complete Set of AC-Unifiers
- …) Deepak Kapur and Paliath Narendran Institute of Programming and Logics Department of Computer Science…
- Cited by 17 (0 self) – Add To MetaCart
-
Unification and Matching modulo Nilpotence
- …Unification and Matching modulo Nilpotence Qing Guo 1 , Paliath Narendran 1? , and D…
- Cited by 7 (0 self) – Add To MetaCart
-
Ground Temporal Logic: A Logic for Hardware Verification
- … International cyrluk@(email omitted); Paliath Narendran y SUNY-ALBANY, Albany NY dran@(email omitted); Abstract We…
- Cited by 6 (0 self) – Add To MetaCart
-
The Theory of Total Unary Rpo is Decidable
- …The theory of total unary rpo is decidable Paliath Narendran 1 and Michael Rusinowitch 2 1…
- Cited by 4 (0 self) – Add To MetaCart
-
Unification of Knowledge Bases
- …@(email omitted); and Paliath Narendran y Department of Computer Science State University of New York at Albany Albany, NY 12222…
- Add To MetaCart
-
Any Ground Associative-Commutative Theory Has a Finite Canonical System
- …Any ground associative-commutative theory has a ��nite canonical system Paliath Narendran Micha…
- Cited by 19 (4 self) – Add To MetaCart
-
Unification of Concept Terms in Description Logics
- … AND PALIATH NARENDRAN z y Theoretical Computer Science, RWTH Aachen, Germany z Department of Computer…
- Cited by 30 (17 self) – Add To MetaCart
-
Equational Unification, Word Unification, and 2-Order Equational Unification
- …@(email omitted); Paliath Narendran y Institute of Programming and Logics, Department of Computer Science State University…
- Add To MetaCart
-
An E-unification algorithm for analyzing protocols that use modular exponentiation
- … Kapur 1 Department of Computer Science University of New Mexico Albuquerque, NM 87131 Paliath…
- Cited by 15 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
