Volume: Vol-4269 ICTCS 2026 | Year: 2026

Paper: « paper58 | paper35 | paper53 »

Towards a Comprehensive Formal Language Theory for First-Order Temporal Logic

• Nicola Gigante

280-287 PDF