Communication Dans Un Congrès
Année : 1994
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03243514
Soumis le : lundi 31 mai 2021-16:23:24
Dernière modification le : lundi 31 mai 2021-16:23:25
Citer
Jean Goubault. The complexity of resource-bounded first-order classical logic. Annual Symposium on Theoretical Aspects of Computer Science, Feb 1994, Caen, France. pp.59-70, ⟨10.1007/3-540-57785-8_131⟩. ⟨hal-03243514⟩
8
Consultations
0
Téléchargements