The representation of Boolean algebras in the spotlight of a proof checker

Rodica Ceterchi, Eugenio G. Omodeo, Alexandru I. Tomescu

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationProceedings of the 29th Italian Conference on Computational Logic : Torino, Italy, June 16-18, 2014
EditorsLaura Giordano, Valentina Gliozzi , Gian Luca Pozzato
Number of pages15
PublisherCEUR Workshop Proceedings
Publication date2014
Pages287-301
Publication statusPublished - 2014
MoE publication typeA4 Article in conference proceedings
EventItalian conference on computational logic - Torino, Italy
Duration: 16 Jun 201418 Jun 2014
Conference number: 29

Publication series

NameCEUR Workshop Proceedings
PublisherRheinisch-Westfaelische Technische Hochschule Aachen
Volume1195
ISSN (Print)1613-0073

Fields of Science

  • 111 Mathematics

Cite this

Ceterchi, R., Omodeo, E. G., & Tomescu, A. I. (2014). The representation of Boolean algebras in the spotlight of a proof checker. In L. Giordano, V. Gliozzi , & G. L. Pozzato (Eds.), Proceedings of the 29th Italian Conference on Computational Logic: Torino, Italy, June 16-18, 2014 (pp. 287-301). (CEUR Workshop Proceedings; Vol. 1195). CEUR Workshop Proceedings.