Tese de Ana Claudia de Jesus Golzio

Matrizes não-determinísticas: teoria e aplicações à semântica algébrica