some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

Synthesis from Probabilistic Components

  
Sumit Nain, Yoad Lustig and Moshe Y Vardi

Small Stone in Pool

  
Samuel R. Buss and Leszek Alek Kolodziejczyk

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency

  
Adrian Francalanza, Edsko DeVries and Matthew Hennessy

Parity and Streett Games with Costs

  
NathanaŽl Fijalkow and Martin Zimmermann

Probability Logic for Harsanyi Type Spaces

  
Chunlai Zhou

Unsolvability Cores in Classification Problems

  
Hermann K.-G. Walter and Ulrike Brandt




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.