Journal: J. Comput. Syst. Sci.

Volume 25, Issue 1

2 -- 41Mihalis Yannakakis, Christos H. Papadimitriou. Algebraic Dependencies
42 -- 65Eugene M. Luks. Isomorphism of Graphs of Bounded Valence can be Tested in Polynomial Time
66 -- 75Michael O. Rabin. N-Process Mutual Exclusion with Bounded Waiting by 4 Log_2 N-Valued Shared Variable
76 -- 98Neil Immerman. Upper and Lower Bounds for First Order Expressibility
99 -- 128Ashok K. Chandra, David Harel. Structure and Complexity of Relational Queries