DIEGO FIGUEIRA; SANTIAGO FIGUEIRA; EDWIN PIN

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse

Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science

Lugar: Boston; Año: 2023;