Skip to Main content Skip to Navigation
Conference papers

Two proof procedures of cardinality based language in propositional calculus

Belaid Benhamou 1 Lakhdar Saïs 2
1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
2 CRIL - Centre de Recherche en Informatique de Lens
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03301139
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 1:08:39 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM

Identifiers

  • HAL Id : hal-03301139, version 1

Collections

UNIV-ARTOIS | LSIS | LIS-LAB | UNIV-TLN | UNIV-AMU | CNRS | ARTS-ET-METIERS-SCIENCES-ET-TECHNOLOGIES | CRIL

Citation

Belaid Benhamou, Lakhdar Saïs. Two proof procedures of cardinality based language in propositional calculus. Proceedings of the 11th International Symposium on Theoretical Aspects of Computer Science - STACS'94, 1994, Caen, France. pp.71-82. ⟨hal-03301139⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles