some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

Typed realizability for first-order classical analysis

  
Valentin Blot

Type-based Self-stabilisation for Computational Fields

  
Ferruccio Damiani and Mirko Viroli

Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees

  
Eike Neumann

A Program Logic for Verifying Secure Routing Protocols

  
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou and Boon Thau Loo

A finer reduction of constraint problems to digraphs

  
Jakub Bulín, Dejan Delic, Marcel Jackson and Todd Niven

Preservation and decomposition theorems for bounded degree structures

  
Frederik Harwath, Lucas Heimberg and Nicole Schweikardt




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.