some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

CONTACT

RECENTLY PUBLISHED

Sampled Semantics of Timed Automata

  
Pavel Krcal, Parosh Aziz Abdulla and Wang Yi

Algorithms for Game Metrics

  
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar and Vishwanath Raman

A Proof Theoretic Analysis of Intruder Theories

  
Alwen Tiu, Rajeev Gore and Jeremy Dawson

Acyclic Solos and Differential Interaction Nets

  
Thomas Ehrhard and Olivier Laurent

Expressiveness and Closure Properties for Quantitative Languages

  
Krishnendu Chatterjee, Laurent Doyen and Thomas A Henzinger

Domain Representable Spaces Defined by Strictly Positive Induction

  
Petter Kristian Køber




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.