Episciences overlay journals
 Create account  
  • Sign in
  • Forgotten password ?
  • Forgotten username ?
  • Home
  • Search
  • Browse...
    • Recently published
    • Browse by Volume
    • Completed Special Issues
    • Survey Articles
  • Editorial Board
  • For Authors
    • Information
    • Submit
    • LaTeX Style
    • Copyright
  • About
    • Purpose
    • Special Issues
    • List of Topics
    • Executive Board
    • Publisher
    • Assistant Editors
    • Ukraine
  • Awards
  • FAQ
  • Contact
  • Supporters
  • My Account
    • Sign in
    • Create account
    • Forgotten username ?
    • Forgotten password ?
    • Permissions

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

    About
  •  RSS
  •  Contact
  • eISSN 1860-5974
    Support
  •  Documentation
  •  Technical support Email
  •  Legal mentions
  •  Privacy
    About Episciences
  • Episciences
  • Hosted journals
  • Acknowledgements
  • Episciences v1.0.39.10-974ef20f
  • Open Science Lens icon OSL
  •  Term Of Use