Automata on infinite objects and Church's problem

このページのQRコード

種類:: 図書
責任表示:: by Michael O. Rabin
出版情報:: Providence, R.I. : Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, [1972]
著者名:: Rabin, Michael Oser <DA02730230>
シリーズ名:: Regional conference series in mathematics ; no. 13 <BA0000944X>
ISBN:: 9780821816639 [0821816632]
注記:: "Expository lectures from the CBMS regional conference held at Morehouse College, Atlanta, Georgia, September 8-12, 1969."
Bibliography: p. [22]

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Combinatorial analysis; Machine theory
分類・件名:	LCC : QA1 LCC : QA267 DDC : 510/.8 s DDC : 629.8/92 LCSH : Machine theory LCSH : Combinatorial analysis
LCCN:	72006749
TTLL:	eng
言語:	英語
形態:	[22] p. ; 26 cm
書誌ID:	BA04550572

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Combinatorics, automata and number theory Berthé, V. (Valérie), 1957-, Rigo, Michel Cambridge University Press	7 図書 Finite automata Lawson, Mark V Chapman & Hall/CRC
2 図書 Automata logics, and infinite games : a guide to current research Grädel, Erich, 1958-, Thomas, Wolfgang, 1947-, Wilke, Thomas, 1965- Springer	8 図書 An introduction to formal languages and automata Linz, Peter Jones and Bartlett Publishers
3 図書 Automata theory Simon, Matthew World Scientific	9 図書 Automata theory: machines and languages Kain, Richard Y McGraw-Hill
4 図書 Automata studies Shannon, Claude E., 1916-, McCarthy, John, 1927-, Ashby, William Ross Princeton University Press	10 図書 Formal languages; automata and structures Engeler, Erwin, 1930- Markham Pub. Co
5 図書 Introduction to automata Nelson, R. J. (Raymond John), 1917- Wiley	11 図書 Computation : finite and infinite machines Minsky, Marvin Lee, 1927- Prentice-Hall
6 図書 Codes and automata Berstel, Jean, 1941-, Perrin, Dominique, Reutenauer, Christophe Cambridge University Press	12 図書 Introduction to automata theory, languages, and computation Hopcroft, John E., 1939-, Motwani, Rajeev, Ullman, Jeffrey D., 1942- Pearson Addison-Wesley