Cover Image

Rudiments of [mu]-calculus /

Show other versions (1)

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...

Full description

Bibliographic Details
Main Author: Arnold, A. (André), 1945-
Corporate Author: ScienceDirect (Online service)
Other Authors: Niwiński, Damian
Format: eBook
Language:English
Published: Amsterdam ; New York : Elsevier, 2001.
Edition:1st ed.
Series:Studies in logic and the foundations of mathematics ; v. 146.
Subjects:
Algebraic logic.
Monotonic functions.
Fixed point theory.
Lattice theory.
Machine theory.
Logique algébrique.
Fonctions monotones.
Théorème du point fixe.
Théorie des treillis.
Théorie des automates.
MATHEMATICS > Algebra > General.
Algebraic logic
Fixed point theory
Lattice theory
Machine theory
Monotonic functions
Algebraïsche logica.
Automatentheorie.
Speltheorie.
Programmeren (computers)
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA10 .A76 2001eb
 
Call Number Status Get It
QA10 .A76 2001eb Available