DMCA
On the Expressive Completeness of the Propositional Mu-Calculus With Respect to Monadic Second Order Logic (1996)
by
David Janin
,
Igor Walukiewicz
Citations: | 92 - 5 self |