CCSD
    • Episciences.org
    • Journals
    • OAI-PMH
  • Documentation
  • Support
  • Sign in
  • Create account
  • Forgotten password ?
  • Forgotten username ?
episciences logo
  • Home
  • Search
  • Browse...
    • Recently published
    • Browse by Volume
    • Completed Special Issues
    • Survey Articles
  • Authors
    • Information
    • Submit
    • LaTeX Style
    • Copyright
  • About
    • Purpose
    • Special Issues
    • Editorial Board
    • List of Topics
    • Executive Board
    • Publisher
    • Assistant Editors
  • FAQ
  • Documentations
  • Contact/Tech. Support
  • Supporters
  • My Account
    • Sign in
    • Create account
    • Forgotten username ?
    • Forgotten password ?
    • Permissions
  1. Browse...
  2. Survey Articles

Survey Articles

Stream Differential Equations: Specification Formats and Solution Methods 
Helle Hvid Hansen, Clemens Kupke, Jan Rutten

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