David Fauthoux

Publication Activity (10 Years)

Years Active: 2001-2002
Publications (10 Years): 0

Publications

David Fauthoux, Jean Paul Bahsoun
From Lens to Flow Structure. EurAsia-ICT (2002)
Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR (2001)