Review of "Automata theory and its applications" by Bakhadyr Khoussainov and Anil Nerode. Birkhäuser Boston, Inc. 2001.: and "Automata, logics, and infinite games" by E.Grädel, W. Thomas, and T. Wilke. Springer-Verlag.
暂无分享，去创建一个
[1] Yde Venema,et al. Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.
[2] Colin Stirling,et al. Modal and Temporal Properties of Processes , 2001, Texts in Computer Science.
[3] Yuri Gurevich,et al. The Classical Decision Problem , 1997, Perspectives in Mathematical Logic.
[4] Yuri Gurevich,et al. Trees, automata, and games , 1982, STOC '82.
[5] John Doner,et al. Tree Acceptors and Some of Their Applications , 1970, J. Comput. Syst. Sci..
[6] M. Rabin. Decidability of second-order theories and automata on infinite trees , 1968 .
[7] James W. Thatcher,et al. Generalized finite automata theory with an application to a decision problem of second-order logic , 1968, Mathematical systems theory.
[8] James Rogers,et al. A descriptive approach to language-theoretic complexity , 1998 .
[9] Hubert Comon,et al. Tree automata techniques and applications , 1997 .
[10] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .