Unified syntactical approach to the orems of putcha, margolis and straubing on finite power semigroups.

Por Almeida, Jorge, Dep. de ciência da computação
Publicado em 1991

New experimental results for bipartite matching /

Por Setubal, João Carlos., Instituto de Matemática., Dep. de Ciência da Computação.
Publicado em 1992

Direct product decompositions of finite J-trivial semigroups da computação.

Por Almeida, Jorge, Instituto de Matemática e Estatística. Dep. de Ciência da Computação
Publicado em 1991

Nonlinear parity circuits and their cryptographic applications da computação.

Por Terada, Routo., Instituto de Matemática e Estatística. Dep. de Ciência da Computação
Publicado em 1991

Short proof of the factorization forest theorem.

Por Simon, Imre, Instituto de Matemática e Estatística. Dep. de Ciência da Computação
Publicado em 1991

Parallelizing a new class of large applications over high speed networks.

Por Gubitoso, Marco Dimas, Instituto de Matemática e Estatística. Dep. de Ciência da Computação
Publicado em 1991

On proof-and model based techniques for reasoning with uncertainty /

Por Silva, Flávio Soares Corrêa da., Instituto De Matemática e Estatística., Dep. de Ciência da Computação.
Publicado em 1993

Automated reasoning with uncertanties /

Por Silva, Flávio Soares Corrêa da., Instituto de Matemática e Estatística., Dep. de Ciência da Computação., Robertson, Dave S., Hesketh, Jane.
Publicado em 1993