Skip to content

An Approximation Semantics for the Propositional Mu-Calculus.

Roger Villemaire

VenueBMFCS
Year2002
ProceedingsMFCS

Browse the full MFCS paper archive.