some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

Towards 3-Dimensional Rewriting Theory

  
Samuel Mimram

Modular Complexity Analysis for Term Rewriting

  
Harald Zankl and Martin Korp

Model Checking Lower Bounds for Simple Graphs

  
Michael Lampis

Linear usage of state

  
Rasmus Ejlers Møgelberg and Sam Staton

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

  
Marco Bernardo, Rocco De Nicola and Michele Loreti

Universal First-Order Logic is Superfluous for NL, P, NP and coNP

  
Nerio Borges and Blai Bonet




Logical Methods in Computer Science is an open-access journal, covered by Thompson ISI , SCOPUS, DBLP, Mathematical Reviews and Zentralblatt. All journal content is licensed under a Creative Commons license.