Is it possible to unify sequential programs?

Tatiana Novikova, Vladimir Zakharov. Is it possible to unify sequential programs?. In Konstantin Korovin, Barbara Morawska, editors, 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. Volume 19 of EPiC Series, pages 35-45, EasyChair, 2013. [doi]

Authors

Tatiana Novikova

This author has not been identified. Look up 'Tatiana Novikova' in Google

Vladimir Zakharov

This author has not been identified. Look up 'Vladimir Zakharov' in Google