Decidability of PDL with Program Costs (SUBMITTED AIML 2026)

Abstrakt

O0

Kategorie a štítky

  • Konferenční příspěvek (mezinárodní konf.)