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.
General
Imprint: |
Scuola Normale Superiore
|
Country of origin: |
Italy |
Series: |
Publications of the Scuola Normale Superiore |
Release date: |
October 1998 |
First published: |
1998 |
Authors: |
Giacomo Lenzi
|
Dimensions: |
240 x 170 x 8mm (L x W x T) |
Format: |
Paperback
|
Pages: |
94 |
ISBN-13: |
978-88-7642-283-6 |
Categories: |
Books
|
LSN: |
88-7642-283-8 |
Barcode: |
9788876422836 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!