some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

On Nested Sequents for Constructive Modal Logics

  
Lutz Straßburger, Anupam Das and Ryuta Arisaka

Constructing Fully Complete Models of Multiplicative Linear Logic

  
Andrea Schalk and Hugh Paul Steele

Deciding definability in FO2(<h,<v) on trees

  
Thomas Place and Luc Segoufin

Proof Theory of a Multi-Lane Spatial Logic

  
Sven Linker and Martin Hilscher

Service-Oriented Logic Programming

  
Ionut Tutu and Jose Luiz Fiadeiro

Presenting Distributive Laws

  
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz and Jurriaan Rot




Logical Methods in Computer Science is an open-access journal, covered by Thompson ISI , SCOPUS, DBLP, Mathematical Reviews and Zentralblatt. Impact factor: 0.443. All journal content is licensed under a Creative Commons license.