Alon, Noga; Dewdney, A. K.; Ott, Teunis J. Efficient simulation of finite automata by neural nets. (English) Zbl 0799.68138 J. Assoc. Comput. Mach. 38, No. 2, 495-514 (1991). MSC: 68Q45 68Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Condon, Anne Space-bounded probabilistic game automata. (English) Zbl 0799.68095 J. Assoc. Comput. Mach. 38, No. 2, 472-494 (1991). MSC: 68Q15 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Mansour, Yishay; Schieber, Baruch; Tiwari, Prasoon A lower bound for integer greatest common divisor computations. (English) Zbl 0819.11066 J. Assoc. Comput. Mach. 38, No. 2, 453-471 (1991). MSC: 11Y16 68Q25 11A05 × Cite Format Result Cite Review PDF Full Text: DOI
Bambos, Nicholas; Walrand, Jean On stability and performance of parallel processing systems. (English) Zbl 0799.68028 J. Assoc. Comput. Mach. 38, No. 2, 429-452 (1991). MSC: 68M20 68Q10 60K25 × Cite Format Result Cite Review PDF Full Text: DOI
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. A model-theoretic analysis of knowledge. (English) Zbl 0799.68177 J. Assoc. Comput. Mach. 38, No. 2, 382-428 (1991). MSC: 68T30 68T27 03B45 03C99 × Cite Format Result Cite Review PDF Full Text: DOI
Ioannidis, Yannis E.; Wong, Eugene Towards an algebraic theory of recursion. (English) Zbl 0799.68062 J. Assoc. Comput. Mach. 38, No. 2, 329-381 (1991). MSC: 68P15 68N17 03D20 68P20 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bryant, Randal E. A methodology for hardware verification based on logic simulation. (English) Zbl 0809.94035 J. Assoc. Comput. Mach. 38, No. 2, 299-328 (1991). MSC: 94C12 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Dobkin, David; Suri, Subhash Maintenance of geometric extrema. (English) Zbl 0799.68106 J. Assoc. Comput. Mach. 38, No. 2, 275-298 (1991). MSC: 68W10 68U05 × Cite Format Result Cite Review PDF Full Text: DOI
Arkin, E. M.; Papadimitriou, C. H.; Yannakakis, M. Modularity of cycles and paths in graphs. (English) Zbl 0799.68146 J. Assoc. Comput. Mach. 38, No. 2, 255-274 (1991). MSC: 68R10 05C38 × Cite Format Result Cite Review PDF Full Text: DOI