Rudiments of [mu]-calculus. (2001)

• Record Type: Book
• Further Information: Note: A. Arnold, D. Niwiński.
• Other Names: Arnold, A (André), 1945-; Niwiński, Damian
• Publisher Details: Place of publication not identified : North Holland
• Publication Date: 2001
• Extent: 1 online resource (298 pages)
• Subjects: 511.3/24; Algebraic logic; Monotonic functions; Fixed point theory; Lattice theory; Machine theory; treillis; graphe parité; problème décision; fonction monotone; fonction booléenne; théorie point fixe; mu-calcul; Logique algébrique; Fonctions monotones; Point fixe, Théorème du; Treillis, Théorie des; Automates mathématiques, Théorie des; Algebraic logic; Fixed point theory; Lattice theory; Machine theory; Monotonic functions; Point fixe, Théorème du; Complexité de calcul (informatique); Automates mathématiques, Théorie des; Algebraïsche logica; Automatentheorie; Speltheorie; Programmeren (computers)
• Languages: English
• ISBNs: 9780080516455; 0080516459
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.