Original language | English |
---|---|

Title of host publication | Proceedings of the 29th Italian Conference on Computational Logic : Torino, Italy, June 16-18, 2014 |

Editors | Laura Giordano, Valentina Gliozzi , Gian Luca Pozzato |

Number of pages | 15 |

Publisher | CEUR Workshop Proceedings |

Publication date | 2014 |

Pages | 287-301 |

Publication status | Published - 2014 |

MoE publication type | A4 Article in conference proceedings |

Event | Italian conference on computational logic - Torino, Italy Duration: 16 Jun 2014 → 18 Jun 2014 Conference number: 29 |

### Publication series

Name | CEUR Workshop Proceedings |
---|---|

Publisher | Rheinisch-Westfaelische Technische Hochschule Aachen |

Volume | 1195 |

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.