Volume: Vol-4230 DL 2026 | Year: 2026

Paper: « dl-paper29 | dl-paper30 | dl-paper31 »

Baby Steps Towards Finite Satisfiability For LoopPDL

• Bartosz Jan Bednarczyk
• Mikołaj Swoboda

PDF