Andrea Corradini

Esplora l'importanza dell'indipendenza nei sistemi di riscrittura e il suo impatto sull'efficienza.

Uno sguardo alle condizioni annidate e il loro impatto sulle trasformazioni dei grafi.