SIAM Journal on Computing

Contains research articles in the application of mathematics to the problems of computer science and the nonnumerical aspects of computing.