Publications of the Scuola Normale Superiore

The mu-calculus and the hierarchy problem

Authors: Lenzi, Giacomo

Buy this book

Softcover $14.95
price for USA
  • ISBN 978-88-7642-283-6
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

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.

Buy this book

Softcover $14.95
price for USA
  • ISBN 978-88-7642-283-6
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The mu-calculus and the hierarchy problem
Authors
Series Title
Publications of the Scuola Normale Superiore
Copyright
1998
Publisher
Edizioni della Normale
Copyright Holder
Edizioni della Normale
Softcover ISBN
978-88-7642-283-6
Edition Number
1
Number of Pages
94
Topics