
Haben Sie noch nichts passendes gefunden? Stöbern Sie durch unser komplettes Sortiment.
Oder melden Sie sich an bzw. registrieren Sie sich.


Beschreibung
The subject of this thesis is the Mu-calculus, which nowadays represents a very active research area in both theoretical and practical Computer Science. The Mu-calculus is a logic capable of expressing least and greatest solutions of fixpoint equations x=f(x),...