共 18 条
[2]
Borger E., 2004, LECT NOTES INFORM, P235
[3]
Dershowitz N., 2010, ABSTRACT STATE MACHI, P1
[4]
Egon Borger, 2003, ABSTRACT STATE MACHI
[5]
Flake S, 2004, LECT NOTES COMPUT SC, V3273, P226
[6]
Fordham B., 1997, P 1997 INT DAT ENG A
[7]
Gayo J. E. L., 2001, S IB SIST INF ING SO
[8]
GOTTLOB G, 1991, LECT NOTES COMPUT SC, V504, P144
[9]
Gurevich Y., 2000, ASM 00 P INT WORKSH
[10]
Gurevich Y., 1995, EVOLVING ALGEBRAS