Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Create account
Forgotten password ?
Forgotten username ?
Home
Search
Browse...
Recently published
Browse by Volume
Completed Special Issues
Survey Articles
Authors
Information
Submit
LaTeX Style
Copyright
About
Purpose
Special Issues
Editorial Board
List of Topics
Executive Board
Publisher
Assistant Editors
FAQ
Documentations
Contact/Tech. Support
Supporters
My Account
Sign in
Create account
Forgotten username ?
Forgotten password ?
Home
Home
... please wait ...
... preparing contents ...
be sure to have JavaScript enabled!
Managing Editors
Stefan Milius
Editor-in-Chief
Brigitte Pientka
Fabio Zanasi
Executive Editors
Editorial Board
Executive Board
Publisher
ISSN: 1860-5974
Logical Methods in Computer Science is an open-access journal, covered by
Thompson ISI
,
SCOPUS
,
DBLP
,
Mathematical Reviews
and
Zentralblatt
. The journal is a member of the
Free Journal Network
. All journal content is licensed under a
Creative Commons license.
Subscribe to the RSS Feed