Towards more precise rewriting approximations

Autor: Boichut, Yohan, Chabin, Jacques, Réty, Pierre
Zdroj: In Journal of Computer and System Sciences September 2019 104:131-148
Databáze: ScienceDirect