Coalgebraic automata theory: Basic results

Cached

Download Links

by Clemens Kupke , Yde Venema
Venue:Logical Methods in Computer Science
Citations:12 - 4 self

Active Bibliography

15 Automata and fixed point logics: a coalgebraic perspective – Yde Venema - 2004
under Partial Information – Bernd Puchala
4 Modal Logics are Coalgebraic – Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema - 2008
5 EXPTIME tableaux for the coalgebraic µ- calculus – Corina Cîrstea, Clemens Kupke, Dirk Pattinson - 2009
EXPTIME TABLEAUX FOR THE COALGEBRAIC µ-CALCULUS ∗ – Corina Cîrstea A, Clemens Kupke B, Dirk Pattinson C
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
2 Completeness of the finitary Moss logic – Clemens Kupke, Er Kurz, Yde Venema
1 State of Büchi Complementation – Ming-hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-kuen Tsay
Members of the Thesis Committee: – Petter Remen, Yde Venema, Peter Van Emde Boas
EPFL, Lausanne – Krishnendu Chatterjee, Thomas A. Henzinger - 805
11 Environment Assumptions for Synthesis – Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann - 2008
Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata ⋆ – Sven Schewe, Thomas Varghese
Profile Trees for Büchi Word Automata, with Application to determinization – Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke - 2013
7 Avoiding determinization – Orna Kupferman - 2006
Msc in Logic – Fabio Zanasi - 2012
Parity and Streett Games with Costs ⋆ – Nathanaël Fijalkow, Martin Zimmermann - 2013
5 Solution concepts and algorithms for infinite multiplayer games – Erich Grädel, Michael Ummels - 2008
1 Similarity Quotients as Final Coalgebras – Paul Blain Levy
Automata on Inifinite Trees – Christof Löding - 2011