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, Computer science - 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 questionsEn-ligne : Zentralblatt | MathSciNet
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 1 		03 ARN (Browse shelf(Opens below)) Available 01429-01

Bibliogr. p. 269-273. Index

There are no comments on this title.

to post a comment.