Volume: Vol-3739 DL 2024 | Year: 2024

Paper: « paper-4 | paper-5 | paper-6 »

Modal Separability of Fixpoint Formulae

• Jedrzej Kolodziejski dblp
• Jean Christoph Jung ORCID dblp Wikidata

PDF