some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

No solvable lambda-value term left behind

  
Álvaro García-Pérez and Pablo Nogueira

The Largest Respectful Function

  
Joachim Parrow and Tjark Weber

Using higher-order contracts to model session types

  
Giovanni Bernardi and Matthew Hennessy

Weighted Pushdown Systems with Indexed Weight Domains

  
Yasuhiko Minamide

Two-variable Logic with Counting and a Linear Order

  
Witold Charatonik and Piotr Witkowski

Formalized linear algebra over elementary divisor rings in Coq

  
Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg and Vincent Siles




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.