The representation of Boolean algebras in the spotlight of a proof checker
Year of publication
2014
Authors
Ceterchi, Rodica; Omodeo, Eugenio G.; Tomescu, Alexandru I.
Organizations and authors
University of Helsinki
Tomescu Alexandru I.
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Journal/Series
Parent publication name
Conference
Volume
1195
Pages
287-301
ISSN
Publication forum
Publication forum level
0
Open access
Open access in the publisher’s service
No information
Self-archived
Unknown
Other information
Fields of science
Mathematics
Publication country
Italy
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
Unknown
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes