UID:
almahu_9949605164102882
Umfang:
1 online resource (22 p.)
Ausgabe:
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
ISBN:
9781470423735 (online)
Serie:
CBMS Regional Conference Series in Mathematics, v. 13
Anmerkung:
"Expository lectures from the CBMS regional conference held at Morehouse College, Atlanta, Georgia, September 8-12, 1969."
,
Automata on infinite objects and Church's problem
,
Basic definitions and results
,
Closure properties of definable sets
,
The sequential calculus
,
Automaton transformations and Church's problem
,
Regular trees
,
Definable sets contain regular trees
,
The emptiness problem
,
The solvability problem
,
A basis theorem
,
Mode of access : World Wide Web
Weitere Ausg.:
Print version: Rabin, Michael O. 1931- Automata on infinite objects and Church's problem, ISSN 0160-7642 ISBN 9780821816639
Sprache:
Englisch
Bookmarklink
