Generic Encodings and Static Analysis of Constructor Rewriting Systems.

Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau

Browse the full SYNASC paper archive.