Logiques linaires hybrides et leurs modalits. Thse de doctorat, spcialit informatique, Ecole Nationale Suprieure des Tlcommunications de Paris, juin (1999)

by Akim Demaille