Email Address * *
Name
Subject *
Message * Articles On Rewriting Systems, including Church-rosser Theorem, Markov Algorithm, Rewriting, Knuth-bendix Completion Algorithm, Semi-thue System, Confluence (abstract Rewriting), Word Problem (mathematics), Reduction Strategy - 1242542736 - 9781242542732