some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae

  
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen and Michel Parigot

On the characterization of models of H*

  
Flavien Breuvart

FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems

  
Florent Jacquemard, Luc Segoufin and Jérémie Dimino

Non-Obfuscated Unprovable Programs & Many Resultant Subtleties

  
John Case and Michael Ralston

Generic algorithms for halting problem and optimal machines revisited

  
Laurent Bienvenu, Damien Desfontaines and Alexander Shen

Order-Invariant Types and Their Applications

  
Pablo Barcelo and Leonid Libkin




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.