Keyword:substitution

Publications
Gray Cycles of Maximum Length Related to $K$-Character Substitutions Jean Néraud EasyChair Preprint 7047
Complete Variable-Length Codes: An Excursion into Word Edit Operations Jean Néraud EasyChair Preprint 2195
Logtk : A Logic ToolKit for Automated Reasoning and its Implementation Simon Cruanes In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Is it possible to unify sequential programs? Tatyana Novikova and Vladimir Zakharov In:UNIF 2013. 27th International Workshop on Unification