Volume: Vol-3733 CILC 2024 | Year: 2024

Paper: « paper16 | paper17 | short1 »

Decidability of Ordered Fragments of FOL via Modal Translation

• Matteo Pascucci ORCID dblp
• Hongkai Yin dblp

PDF