Volume: Vol-4228 CI-BD-SOQE 2026 | Year: 2026

Paper: « short1 | paper1 | paper2 »

Modular Constructive Lyndon Interpolation for Nondistributive Logics

• Andrea De Domenico
• Giuseppe Greco
• Alessandra Palmigiano
• Apostolos Tzimoulis

15-28 PDF