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/ReportOther report

Original languageEnglish (US)
Place of PublicationGrenoble, France
PublisherUniversite scientifique et medicale de Grenoble
StatePublished - Mar 21 1978

Cite this

@book{95b74d61fe9b4f31a9fbf6c00e201952,
title = "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)",
author = "Patrick Cousot",
year = "1978",
month = "3",
day = "21",
language = "English (US)",
publisher = "Universite scientifique et medicale de Grenoble",

}

TY - BOOK

T1 - Thesis: These d'Etat es sciences mathematiques

T2 - Methodes iteratives de construction et d'approximation de points fixes d'operateurs monotones sur un treillis, analyse semantique de programmes (in French)

AU - Cousot, Patrick

PY - 1978/3/21

Y1 - 1978/3/21

M3 - Other report

BT - Thesis: These d'Etat es sciences mathematiques

PB - Universite scientifique et medicale de Grenoble

CY - Grenoble, France

ER -