some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

Deciding definability in FO2(<h,<v) on trees

  
Thomas Place and Luc Segoufin

Proof Theory of a Multi-Lane Spatial Logic

  
Sven Linker and Martin Hilscher

Service-Oriented Logic Programming

  
Ionut Tutu and Jose Luiz Fiadeiro

Presenting Distributive Laws

  
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz and Jurriaan Rot

On the system CL12 of computability logic

  
Giorgi Japaridze

Permissive Controller Synthesis for Probabilistic Systems

  
Klaus Drager, Vojtech Forejt, Marta Kwiatkowska, David Parker and Mateusz Ujma




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.