Skip to Main content Skip to Navigation
Conference papers

Two proof procedures of cardinality based language in propositional calculus

Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03301139
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 1:08:39 PM
Last modification on : Thursday, September 9, 2021 - 3:10:25 PM

Identifiers

  • HAL Id : hal-03301139, version 1

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⟩

Share

Metrics

Record views

18