|
Logical Methods in Computer Science is published under the auspicies of
International
Federation for Computational Logic (IFCoLog)
and is technically supported by
As a free web-based journal, Logical Methods in Computer Science relies
on the generosity of many
people and institutions for its operation. For example, our papers are
carefully reviewed by anonymous referees who give generously of their time
and their expertise. We gratefully acknowledge their essential contribution.
The main web site of the Journal is hosted by the Department of
Theoretical Computer Science of the Technical University Braunschweig,
Germany. The Department has generously supplied disk space and server
capacity on its computers.
The help of Christopher Horstmann with the graphical design of
the web pages of the journal is gratefully aknowledged.
|