|
Journals in DBLP
J. ACM 1991, volume: 38, number: 2
- Esther M. Arkin, Christos H. Papadimitriou, Mihalis Yannakakis
Modularity of Cycles and Paths in Graphs. [Citation Graph (1, 0)][DBLP] J. ACM, 1991, v:38, n:2, pp:255-274 [Journal]
- David P. Dobkin, Subhash Suri
Maintenance of Geometric Extrema. [Citation Graph (0, 0)][DBLP] J. ACM, 1991, v:38, n:2, pp:275-298 [Journal]
- Randal E. Bryant
A Methodology for Hardware Verification Based on Logic Simulation. [Citation Graph (0, 0)][DBLP] J. ACM, 1991, v:38, n:2, pp:299-328 [Journal]
- Yannis E. Ioannidis, Eugene Wong
Towards an Algebraic Theory of Recursion. [Citation Graph (7, 0)][DBLP] J. ACM, 1991, v:38, n:2, pp:329-381 [Journal]
- Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
A Model-Theoretic Analysis of Knowledge. [Citation Graph (0, 0)][DBLP] J. ACM, 1991, v:38, n:2, pp:382-428 [Journal]
- Nicholas Bambos, Jean C. Walrand
On Stability and Performance of Parallel Processing Systems. [Citation Graph (0, 0)][DBLP] J. ACM, 1991, v:38, n:2, pp:429-452 [Journal]
- Yishay Mansour, Baruch Schieber, Prasoon Tiwari
A Lower Bound for Integer Greatest Common Divisor Computations. [Citation Graph (0, 0)][DBLP] J. ACM, 1991, v:38, n:2, pp:453-471 [Journal]
- Anne Condon
Space-Bounded Probabilistic Game Automata. [Citation Graph (0, 0)][DBLP] J. ACM, 1991, v:38, n:2, pp:472-494 [Journal]
- Noga Alon, A. K. Dewdney, Teunis J. Ott
Efficient Simulation of Finite Automata by Neural Nets. [Citation Graph (0, 0)][DBLP] J. ACM, 1991, v:38, n:2, pp:495-514 [Journal]
|