On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic

Research output: Contribution to journal › Conference article › Contributed › peer-review

Contributors

Details

Original languageEnglish
Pages (from-to)113-119
Number of pages7
JournalLecture Notes in Computer Science
Publication statusPublished - 2025
Peer-reviewedYes

External IDs

Scopus 105001323082

Keywords