HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Paliath Narendran

Publications
The use of types in designing unification algorithms: two case studies
Serdar Erbatur, Santiago Escobar and Paliath Narendran
In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Some Notes on Basic Syntactic Mutation
Kimberly Gero, Chris Bouchard and Paliath Narendran
In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Unication Problems Modulo a Theory of Until
Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly Gero and Paliath Narendran
In:UNIF 2013. 27th International Workshop on Unification
Hierarchical Combination of Unication Algorithms (Extended Abstract)
Serdar Erbatur, Deepak Kapur, Andrew M Marshall, Paliath Narendran and Christophe Ringeissen
In:UNIF 2013. 27th International Workshop on Unification

Keyphrases

Asymmetric unification, combination, Disunification, El Gamal Signature Scheme, equational theories, Equational Unification3, Linear Temporal Logic, NP-completeness, polynomial time complexity, subterm-collapse, term rewriting2, Term Rewriting Systems, type systems, unification, unification modulo convergent term rewrite systems.

Copyright © 2012-2025 easychair.org. All rights reserved.