some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

State of Bchi Complementation

  
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi and Yih-Kuen Tsay

Algorithmic randomness for Doob's martingale convergence theorem in continuous time

  
Bjrn Kjos-Hanssen, Paul Kim Long V. Nguyen and Jason Rute

Cost Preserving Bisimulations for Probabilistic Automata

  
Andrea Turrini and Holger Hermanns

On the Relation of Interaction Semantics to Continuations and Defunctionalization

  
Ulrich Schpp

An Effect System for Algebraic Effects and Handlers

  
Andrej Bauer and Matija Pretnar

Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus

  
Ali Assaf, Alejandro Daz-Caro, Simon Perdrix, Christine Tasson and Benot Valiron




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.