Volume: Vol-3733 CILC 2024 | Year: 2024

Paper: « paper1 | paper2 | paper3 »

On Modal Logic Formulae Minimization

• Ionel Eduard Stan ORCID dblp
• Giovanni Pagliarini dblp
• Andrea Paradiso dblp
• Guido Sciavicco ORCID dblp Wikidata

PDF