Telecharger Cours

tel!ti - DSpace@MIT

A principal application of rewriting systems is reasoning about the equational and inductive theories associated with a finite set of axioms. ln this ...



Download