UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Theorem 1: ``Proof'' for Acima: Progress: the Graph Anterior: Theorem 1: Scanning the


Theorem 1: ``Proof'' for Rule 4

\includegraphics [width=0.8\textwidth]{rule4.eps}



Osvaldo Carvalho