Rudiments of [mu]-calculus /

This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixe...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Arnold, A. (Andr�e), 1945-
Otros Autores: Niwi�nski, Damian
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : Elsevier, 2001.
Edición:1st ed.
Colección:Studies in logic and the foundations of mathematics ; v. 146.
Temas:
Algebraic logic.
Monotonic functions.
Fixed point theory.
Lattice theory.
Machine theory.
Logique alg�ebrique.
Fonctions monotones.
Th�eor�eme du point fixe.
Th�eorie des treillis.
Th�eorie des automates.
MATHEMATICS > Algebra > General.
Algebraic logic
Fixed point theory
Lattice theory
Machine theory
Monotonic functions
Algebra�ische logica.
Automatentheorie.
Speltheorie.
Programmeren (computers)
Acceso en línea:Texto completo
Texto completo
Texto completo
Tabla de Contenidos:
  • 1.Complete lattices and fixed-point theorems. 2. The mu-calculi: Syntax and semantics. 3. The Boolean mu-calculus. 4. Parity Games. 5. The mu-calculus on words. 6. The mucalculus over powerset algebras. 7. The mu-calculus versus automata. 8. Hierachy problems. 9. Distributivity and normal form results. 10. Decision problems. 11. Algorithms.

Ejemplares similares