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