The mu-calculus and the hierarchy problem Image close
The mu-calculus and the hierarchy problem by Giacomo Lenzi
The mu-calculus and the hierarchy problem by Giacomo Lenzi
Show Hide Adult Content
The mu-calculus and the hierarchy problem close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer science  
Mathematical theory of computation

The mu-calculus and the hierarchy problem

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$47.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

Afterpay is available on orders $100 to $2000 Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Publications of the Scuola Normale Superiore

See all products in this series

An introduction to computational physics by Sauro Succi
$62.99
An introduction to computational physics
by Sauro Succi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Geometric Partial Differential Equations
$100.99
Geometric Partial Differential Equations
Paperback / softback
Available - Usually ships in 3-4 weeks
Geometric properties of non-compact CR manifolds by Giuseppe Sala
$76.99
Geometric properties of non-compact CR manifolds
by Giuseppe Sala ~ Paperback / softback
Available - Usually ships in 3-4 weeks
De Concini-Procesi models of arrangements and symmetric group actions by Giovanni Gaiffi
$47.99
De Concini-Procesi models of arrangements and symmetric group actions
by Giovanni Gaiffi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fractional Elliptic Problems with Critical Growth in the Whole of $\R^n$ by Serena Dipierro
$109.99
Fractional Elliptic Problems with Critical Growth in the Whole of...
by Serena Dipierro ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms for Quadratic Matrix and Vector Equations by Federico Poloni
$78.99
Algorithms for Quadratic Matrix and Vector Equations
by Federico Poloni ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Colloquium De Giorgi 2007 and 2008
$83.99
Colloquium De Giorgi 2007 and 2008
Paperback / softback
Available - Usually ships in 3-4 weeks
Kolmogorov Operators in Spaces of Continuous Functions and Equations for Measures by Luigi Manca
$76.99
Kolmogorov Operators in Spaces of Continuous Functions and Equations...
by Luigi Manca ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Chance and decision. Stochastic control in discrete time by Jerzy Zabczyk
$83.99
Chance and decision. Stochastic control in discrete time
by Jerzy Zabczyk ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Periodic points for expanding maps and their extensions by Roberto Tauraso
$47.99
Periodic points for expanding maps and their extensions
by Roberto Tauraso ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Seventh European Conference on Combinatorics, Graph Theory and Applications
$110.99
The Seventh European Conference on Combinatorics, Graph Theory and...
Paperback / softback
Available - Usually ships in 3-4 weeks
Exterior differential calculus and applications to economic theory by Ivar Ekeland
$76.99
Exterior differential calculus and applications to economic theory
by Ivar Ekeland ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Probability, Uncertainty and Rationality
$113.99
Probability, Uncertainty and Rationality
Paperback / softback
Available - Usually ships in 3-4 weeks
Colloquium De Giorgi 2009
$83.99
Colloquium De Giorgi 2009
Paperback / softback
Available - Usually ships in 3-4 weeks
An introduction to computational physics by Sauro Succi
$62.99
An introduction to computational physics
by Sauro Succi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Introduction to continuous semigroups by Edoardo Vesentini
$83.99
Introduction to continuous semigroups
by Edoardo Vesentini ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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), where f is a monotone function mapping some complete ordered set into itself. The thesis has two goals, one expository and one technical. The expository goal is to present some results and problems about the Mu-calculus. On the technical respect, this thesis addresses a specific expressiveness problem of the Mu-calculus, the alternation depth hierarchy problem.
Release date Australia
October 1st, 1998
Author
Pages
94
Audience
  • Professional & Vocational
Illustrations
94 p.
Dimensions
170x240x8
ISBN-13
9788876422836
Product ID
12880135

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer science >
Mathematical theory of computation