Search ACM DL

Search Issue

enter search term and/or author name

**Modularity of cycles and paths in graphs**

E. M. Arkin, C. H. Papadimitriou, M. Yannakakis

Pages: 255-274

DOI: 10.1145/103516.103517

**Maintenance of geometric extrema **

David Dobkin, Subhash Suri

Pages: 275-298

DOI: 10.1145/103516.103518

**A methodology for hardware verification based on logic simulation**

Randal E. Bryant

Pages: 299-328

DOI: 10.1145/103516.103519

**Towards an algebraic theory of recursion**

Yannis E. Ioannidis, Eugene Wong

Pages: 329-381

DOI: 10.1145/103516.103521

**A model-theoretic analysis of knowledge**

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

Pages: 382-428

DOI: 10.1145/103516.128680

**On stability and performance of parallel processing systems**

Nicholas Bambos, Jean Walrand

Pages: 429-452

DOI: 10.1145/103516.103520

**A lower bound for integer greatest common divisor computations**

Yishay Mansour, Baruch Schieber, Prasoon Tiwari

Pages: 453-471

DOI: 10.1145/103516.103522

**Space-bounded probabilistic game automata**

Anne Condon

Pages: 472-494

DOI: 10.1145/103516.128681

**Efficient simulation of finite automata by neural nets**

Noga Alon, A. K. Dewdney, Teunis J. Ott

Pages: 495-514

DOI: 10.1145/103516.103523