Skip to content

PDL with Intersection and Converse Is Decidable.

Carsten Lutz

VenueBCSL
Year2005
ProceedingsCSL

Browse the full CSL paper archive.