some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

Modelling MAC-Layer Communications in Wireless Systems

  
Andrea Cerone, Matthew Hennessy and Massimo Merro

Domain Representations Induced by Dyadic Subbases

  
Hideki Tsuiki and Yasuyuki Tsukamoyo

Ranking Templates for Linear Loops

  
Jan Leike and Matthias Heizmann

High-level Counterexamples for Probabilistic Automata

  
Ralf Wimmer, Nils Jansen, Erika Ábrahám and Joost-Pieter Katoen

Bialgebraic Semantics for Logic Programming

  
Filippo Bonchi and Fabio Zanasi

Positive Inductive-Recursive Definitions

  
Neil Ghani, Fredrik Nordvall Forsberg and Lorenzo Malatesta




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.