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

Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)113-119
Seitenumfang7
FachzeitschriftLecture Notes in Computer Science
PublikationsstatusVeröffentlicht - 2025
Peer-Review-StatusJa

Externe IDs

Scopus 105001323082

Schlagworte