Talkin'bout consistency, or: When logically possible becomes possible - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1996

Talkin'bout consistency, or: When logically possible becomes possible

Dates et versions

hal-04047098 , version 1 (27-03-2023)

Identifiants

Citer

Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig. Talkin'bout consistency, or: When logically possible becomes possible. International Conference on Formal and Applied Practical Reasoning (FAPR 1996), Jun 1996, Bonn, Germany. pp.141-150, ⟨10.1007/3-540-61313-7_69⟩. ⟨hal-04047098⟩
9 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More