Focuses on the application of areas such as logic, algebra, geometry and category theory to theoretical computer science. http://uk.cambridge.org/journals/msc/
(Kluwer) An international journal devoted to reliable mathematical computations based on finite representations and guaranteed accuracy. Tables of contents from vol.3 (1997) on. Full text to subscribers. http://www.kluweronline.com/issn/1385-3139
Presents research on algorithmic treatment of symbolic objects including objects in formal languages, algebraic objects, and geometrical objects. http://www.cis.udel.edu/~caviness/jsc.html
Translation of "Avtomatika I Vychislitel'naya Tekhnika" from Latvia, covering automatic control and distributed processing and signal processing. On-line table of contents. http://www.edi.lv/journal/journal.htm