L'indécidabilité en logique des flèches est liée à un défaut de surjectivité des filtrations

Le Creurer, Ivan
(1999)

Files

LeCreurer.pdf
  • Restricted Access
  • Adobe PDF
  • 2.68 MB

Details

Authors
  • Le Creurer, IvanUCLouvain
    author
Supervisors
Lucas, Thierry
Affiliations

Citations

Le Creurer, I. (1999). L’indécidabilité en logique des flèches est liée à un défaut de surjectivité des filtrations. https://hdl.handle.net/2078.5/99413