JOURNAL OF THE ACM

主题词：Complexity and Algorithms in Graphs; semigroups and automata theory; Logic, programming, and type systems; Algorithms and Data Compression; Optimization and Search Problems; Advanced Graph Theory Research; Formal Methods in Verification; Computability, Logic, AI Algorithms; Distributed systems and fault tolerance; Logic, Reasoning, and Knowledge; Advanced Database Systems and Queries; Machine Learning and Algorithms; Data Management and Algorithms; Cryptography and Data Security; Matrix Theory and Algorithms; Computational Geometry and Mesh Generation; Parallel Computing and Optimization Techniques; Advanced Queuing Theory Analysis; DNA and Biological Computing; Numerical Methods and Algorithms; Interconnection Networks and Systems; Quantum Computing Algorithms and Architecture; Advanced Algebra and Logic; Cellular Automata and Applications; Constraint Satisfaction and Optimization