On the Expressive Completeness of the Propositional Mu-Calculus With Respect to Monadic Second Order Logic (1996)

Cached

Download Links

by David Janin , Igor Walukiewicz
Citations:65 - 3 self