Andrea Corradini

Explorar a importância da independência em sistemas de reescrita e seu impacto na eficiência.

Um olhar sobre condições aninhadas e seu impacto nas transformações de gráfico.