some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

CONTACT

RECENTLY PUBLISHED

Well-definedness of Streams by Transformation and Termination

  
Hans Zantema

Local Termination: theory and practice

  
Joerg Endrullis, Roel de Vrijer and Johannes Waldmann

Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

  
Federico Aschieri and Stefano Berardi

Modularity of Convergence and Strong Convergence in Infinitary Rewriting

  
Stefan Michael Kahrs

Unification in the Description Logic EL

  
Franz Baader and Barbara Morawska

Propositional Dynamic Logic for Message-Passing Systems

  
Benedikt Bollig, Dietrich Kuske and Ingmar Meinecke




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.