Presents research on algorithmic treatment of symbolic objects including objects in formal languages, algebraic objects, and geometrical objects.

List of 300 computer science journals (articles are usually available electronically by subscription).

A forum about computational complexity supervised by a scientific board. Provides on-line research reports, surveys and books.

Among the topics covered are AI applications that use logic programming, natural language processing, knowledge representation, nonmonotic reasoning, databases, implementations and architectures and constraint logic programming.

A journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science.

Includes mathematically oriented contributions on discrete and finite algorithms.

Contains research articles on the mathematical and formal aspects of computer science and nonnumerical computing.

An international journal devoted to reliable mathematical computations based on finite representations and guaranteed accuracy. Tables of contents. Full text to subscribers.

A bimonthly journal covering computer and system sciences and their underlying mathematical theory.