View of Termination of Algebraic Rewriting with Inhibitors

Return to Article Details Termination of Algebraic Rewriting with Inhibitors Download Download PDF