Normal view MARC view ISBD view

Rudiments of µ-calculus / A. Arnold, D. Niwiński

Auteur principal : Arnold, André, 1945-, AuteurCo-auteur : Niwiński, Damian, AuteurType de document : MonographieCollection : Studies in logic and the foundations of mathematics, 146Langue : anglais.Pays : Pays Bas.Éditeur : Amsterdam : Elsevier, 2001Description : 1 vol. (XVII-277 p.) ; 23 cmISBN : 0444506209.ISSN : 0049-237X.Bibliographie : Bibliogr. p. 269-273. Index.Sujet MSC : 03B70, General logic, Logic in computer science
03G10, Algebraic logic, Quantum logic
68Q70, Theory of computing, Algebraic theory of languages and automata
08A70, General algebraic systems - Algebraic structures, Applications of universal algebra in computer science
03D05, Computability and recursion theory, Automata and formal grammars in connection with logical questions
En-ligne : Zentralblatt | MathSciNet
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03 ARN (Browse shelf) Available 01429-01

Bibliogr. p. 269-273. Index

There are no comments for this item.

Log in to your account to post a comment.