Title: Complexite Et Decidabilite (Mathematiques Et Applications, Vol 12)