Search

Your search keyword '"Narendran, Paliath"' showing total 96 results

Search Constraints

Start Over You searched for: Author "Narendran, Paliath" Remove constraint Author: "Narendran, Paliath" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
96 results on '"Narendran, Paliath"'

Search Results

1. On Asymmetric Unification and the Combination Problem in Disjoint Theories

2. On Forward Closure and the Finite Variant Property

3. Hierarchical Combination

4. Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

5. Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions

6. Unification Modulo Synchronous Distributivity

7. New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants

8. Unification Modulo Chaining

9. Unification Modulo Homomorphic Encryption

10. On Extended Regular Expressions

12. Intruders with Caps

14. ACID-Unification Is NEXPTIME-Decidable

17. The Theory of Total Unary RPO Is Decidable

18. RPO Constraint Solving Is in NP

22. Unification and matching modulo nilpotence

25. Any ground associative-commutative theory has a finite canonical system

29. Hierarchical Combination

47. Complexity of sufficient-completeness : Preliminary version

48. It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free

50. Semi-unification

Catalog

Books, media, physical & digital resources