Communication Dans Un Congrès
Année : 2001
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01570820
Soumis le : lundi 31 juillet 2017-17:04:02
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01570820 , version 1
Citer
Gilles Dowek, Thérèse Hardin, Claude Kirchner. A Completeness theorem for an extension of first-order logic with binders. Workshop Merlin, 2001, Leicester, United Kingdom. pp.49-63. ⟨hal-01570820⟩
Collections
35
Consultations
0
Téléchargements