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

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.