%0 Conference Paper %1 conf/cilc/PagliariniPSS24 %A Pagliarini, Giovanni %A Paradiso, Andrea %A Sciavicco, Guido %A Stan, Ionel Eduard %B CILC %D 2024 %E Angelis, Emanuele De %E Proietti, Maurizio %I CEUR-WS.org %K dblp %T On Modal Logic Formulae Minimization. %U http://dblp.uni-trier.de/db/conf/cilc/cilc2024.html#PagliariniPSS24 %V 3733

@inproceedings{conf/cilc/PagliariniPSS24, added-at = {2024-07-26T00:00:00.000+0200}, author = {Pagliarini, Giovanni and Paradiso, Andrea and Sciavicco, Guido and Stan, Ionel Eduard}, biburl = {https://www.bibsonomy.org/bibtex/296ed26b78e6159b50288136447788298/dblp}, booktitle = {CILC}, crossref = {conf/cilc/2024}, editor = {Angelis, Emanuele De and Proietti, Maurizio}, ee = {https://ceur-ws.org/Vol-3733/paper2.pdf}, interhash = {8a65e97a22b7d73c2c5e07de583dfbdb}, intrahash = {96ed26b78e6159b50288136447788298}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-07-29T07:11:22.000+0200}, title = {On Modal Logic Formulae Minimization.}, url = {http://dblp.uni-trier.de/db/conf/cilc/cilc2024.html#PagliariniPSS24}, volume = 3733, year = 2024 }