Logic List Mailing Archive

New Journal: Logical Methods in Computer Science

New Journal "Logical Methods in Computer Science"


Editor-in-Chief: D S Scott
Executive Editor: J Adamek
Managing Editors: G D Plotkin, M Y Vardi

Logical Methods in Computer Science is a fully refereed, open access,
free, electronic journal. It welcomes papers on theoretical and practical
areas in computer science involving logical methods, taken in a broad
sense. Papers are refereed in the traditional way, with two or more
referees per paper. Copyright is retained by the author.

Full-text access to all papers is freely available. No registration or
subscription is required, and a free email notification service is