1
|
Material Type: Tese de Doutorado
|
|
Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programme
Bruno Courcelie Maurice Nivat 1937-
1976
Localização:
IME - Inst. Matemática e Estatística
(QA806.T C859s )(Acessar)
|
2
|
Material Type: Tese de Doutorado
|
|
Équations avec constantes et algorithme de Makanin
Jean-Pierre Pécuchet Maurice Nivat 1937-
1981
Localização:
IME - Inst. Matemática e Estatística
IMRE SIMON
(CIS QA173.T P369e )(Acessar)
|
3
|
Material Type: Tese de Doutorado
|
|
Contributions à la recherche dans des ensembles ordonnés du séquentiel au parallèle
Afonso Galvão Ferreira Maurice Nivat 1937-
1990
Localização:
IME - Inst. Matemática e Estatística
(QA733.T F383c )(Acessar)
|
4
|
Material Type: Livro
|
|
Algorithmique parallèle
M Cosnard (Michel); Maurice Nivat 1937-; Yves Robert 1938-
Paris Masson 1992
Localização:
IME - Inst. Matemática e Estatística
(QA733.C3 C843a )(Acessar)
|