Volume: Vol-4091 DL 2025 | Year: 2025

Paper: « paper45 | paper46 | paper47 »

Containment of Conjunctive LTL Queries

• Jean Christoph Jung
• Vladislav Ryzhikov
• Frank Wolter
• Michael Zakharyaschev

PDF