Automata on infinite objects and Church's problem / Michael Rabin

Auteur principal : Rabin, Michael Oser, 1931-, AuteurType 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 questions
03B25, General logic, Decidability of theories and sets of sentences
68Q45, Computer science - Theory of computing, Formal languages and automata
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current library Call number Status Date due Barcode
 Monographie Monographie CMI
Salle 1
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.

to post a comment.