some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

   Purpose

   Open Access

   Editorial Board

   Advisory Board

   Assistant Editors

   Acknowledgments

SERVICE

LOGIN

FAQ

CONTACT

ACKNOWLEDGMENTS

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.