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

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationProceedings of the 29th Italian Conference on Computational Logic : Torino, Italy, June 16-18, 2014
RedaktörerLaura Giordano, Valentina Gliozzi , Gian Luca Pozzato
Antal sidor15
FörlagCEUR Workshop Proceedings
Utgivningsdatum2014
Sidor287-301
StatusPublicerad - 2014
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangItalian conference on computational logic - Torino, Italien
Varaktighet: 16 jun 201418 jun 2014
Konferensnummer: 29

Publikationsserier

NamnCEUR Workshop Proceedings
FörlagRheinisch-Westfaelische Technische Hochschule Aachen
Volym1195
ISSN (tryckt)1613-0073

Vetenskapsgrenar

  • 111 Matematik

Citera det här

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