Logical Methods in Computer Science [electronic only]. Logical Methods in Computer Science c/o Institute of Theoretical Computer Science, [1 vol. (= 4 issues) a year (updated continuously)]

Journal, ISSN 1860-5974/e

http://www.lmcs-online.org/

Cover-to-cover reviewing in Zentralblatt MATH.