Original language | English (US) |
---|---|
Place of Publication | Grenoble, France |
Publisher | Universite scientifique et medicale de Grenoble |
State | Published - Mar 21 1978 |
Thesis: These d'Etat es sciences mathematiques: Methodes iteratives de construction et d'approximation de points fixes d'operateurs monotones sur un treillis, analyse semantique de programmes (in French)
Research output: Book/Report › Other report