Quantitative Equational Rewriting.

Besik Dundua, Georg Ehling, Santiago Escobar, Maribel Fernndez, Temur Kutsia

Browse the full MFCS paper archive.