The complexity of resource-bounded first-order classical logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1994

The complexity of resource-bounded first-order classical logic

Dates et versions

hal-03243514 , version 1 (31-05-2021)

Identifiants

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

Altmetric

Partager

Gmail Facebook X LinkedIn More