some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

CONTACT

RECENTLY PUBLISHED

Bifinite Chu Spaces

  
Manfred Droste and Guo-Qiang Zhang

A Graph Model for Imperative Computation

  
Guy Andrew McCusker

O-Minimal Hybrid Reachability Games

  
Patricia Bouyer, Thomas Brihaye and Fabrice Chevalier

Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators

  
Damiano Mazza

Computation Tree Logic with Deadlock Detection

  
Rob van Glabbeek, Bas Luttik and Nikola Trčka

The Complexity of Infinite Computations In Models of Set Theory

  
Olivier Finkel




Logical Methods in Computer Science is an open-access journal. All journal content is licensed under a Creative Commons license.