Skip to content

Decision Complexity of Variants of Propositional Dynamic Logic.

Mars K. Valiev

VenueBMFCS
Year1980
ProceedingsMFCS

Browse the full MFCS paper archive.