some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

On Separation by Locally Testable and Locally Threshold Testable Languages

  
Thomas Place, Lorijn van Rooijen and Marc Zeitoun

Improving legibility of natural deduction proofs is not trivial

  
Karol Pąk

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

  
Friedrich Neurauter and Aart Middeldorp

Inferring Algebraic Effects

  
Matija Pretnar

Fourier spectra of measures associated with algorithmically random Brownian motion

  
Willem Louw Fouche', Safari Mukeru and George Davie

Corecursive Algebras, Corecursive Monads and Bloom Monads

  
Jiří Adámek, Mahdie Haddadi and Stefan Milius




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.