Logical Methods in Computer Science

some image

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

CONTACT

RECENTLY PUBLISHED

Non-Deterministic Kleene Coalgebras

Alexandra Silva, Marcello Bonsangue and Jan Rutten

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

Well-definedness of Streams by Transformation and Termination

Local Termination: theory and practice

Joerg Endrullis, Roel de Vrijer and Johannes Waldmann

Interactive Learning-Based Realizability for Heyting Arithmetic with EM_₁

Federico Aschieri and Stefano Berardi

Modularity of Convergence and Strong Convergence in Infinitary Rewriting

Stefan Michael Kahrs

Logical Methods in Computer Science is an open-access journal. Covered by Thompson ISI (citation index 1,036), DBLP, Mathematical Reviews and Zentralblatt. All journal content is licensed under a Creative Commons license.