User menu

Completude et decidabilite de quelques systemes de logique du temps

Bibliographic reference Ferreira Landim Filho, Raul. Completude et decidabilite de quelques systemes de logique du temps.  Prom. : Dopp, Joseph
Permanent URL http://hdl.handle.net/2078.1/148672