HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sushma Danturi

Publications
Unication Problems Modulo a Theory of Until
Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly Gero and Paliath Narendran
In:UNIF 2013. 27th International Workshop on Unification

Keyphrases

Asymmetric unification, Disunification, Equational Unification, Linear Temporal Logic, NP-completeness, polynomial time complexity, term rewriting.

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