some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

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

On absorption in semigroups and <i>n</i>-ary semigroups

  
Bojan Bašić

Weak bisimulation for coalgebras over order enriched monads

  
Tomasz Brengos

Thermodynamic graph-rewriting

  
Vincent Danos, Russell Harmer and Ricardo Honorato-Zimmer

Deciding the value 1 problem for probabilistic leaktight automata

  
Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi and Youssouf Oualhadj




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.