HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Vladimir Zakharov

Publications
Is it possible to unify sequential programs?
Tatyana Novikova and Vladimir Zakharov
In:UNIF 2013. 27th International Workshop on Unification

Keyphrases

equivalence checking, polynomial time, program, substitution, unification.

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