"Exploring Non-Regular Extensions of Propositional Dynamic Logic with ..."

Bartosz Bednarczyk (2024)

Details and statistics

DOI: 10.46298/LMCS-20(2:7)2024

access: open

type: Journal Article

metadata version: 2024-06-10

a service of  Schloss Dagstuhl - Leibniz Center for Informatics