Automata on infinite objects and Church's problem / Michael Rabin
Type de document : MonographieCollection : Regional conference series in mathematics, 13Langue : anglais.Pays: Etats Unis.Éditeur : Providence : American Mathematical Society, 1972Description : 1 vol. (22 p.) ; 26 cmISBN: 9780821816639.ISSN: 0160-7642.Bibliographie : Bibliography: p. 22.Sujet MSC : 03D05, Computability and recursion theory, Automata and formal grammars in connection with logical questions03B25, General logic, Decidability of theories and sets of sentences
68Q45, Computer science - Theory of computing, Formal languages and automata Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle R | 03 RAB (Browse shelf(Opens below)) | Available | 05865-01 |
Expository lectures from the CBMS regional conference held at Morehouse College, Atlanta, Georgia, September 8-12, 1969
Bibliography: p. 22
There are no comments on this title.