From Mirkin s Prebases to Antimirov s Word Partial Derivatives

Jean-Marc Champarnaud, Djelloul Ziadi. From Mirkin s Prebases to Antimirov s Word Partial Derivatives. Fundamenta Informaticae, 45(3):195-205, 2001.

Abstract

Abstract is missing.