some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

   Proposal

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENT SURVEY ARTICLES


Ambiguity of ω-Languages of Turing Machines
Olivier Finkel


Pebble Games, Proof Complexity, and Time-Space Trade-offs
Jakob Nordstrom


Completeness for the coalgebraic cover modality
Clemens Kupke, Alexander Kurz and Yde Venema


On Global Types and Multi-Party Session
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Luca Padovani


Semantics of Typed Lambda-Calculus with Constructors
Barbara Petit


Rational streams coalgebraically
Jan Rutten


Logic Meets Algebra: the Case of Regular Languages
Pascal Tesson and Denis Thérien


Logics for Unranked Trees: An Overview
Leonid Libkin


Creative Commons