(1 - 15 von 16
)
Games, Automata, Logics, and Formal Verification
resources.illc.uva.nl
Sep 23, — ... Chennai Mathematical Institute India Orna Kupferman, Hebrew Unversity Israel Christof Löding, Aachen Germany Richard Mayr, University of Valentin Goranko (Copenhagen) Erich Graedel (Aachen) Ranko Lazic (Warwick) Christof Loeding (Aachen) Damian Niwinski (Warsaw) Wieslaw Zielonka (Paris) › LogicList › newsitem
Programme - MIMUW
www.mimuw.edu.pl
16:30 Christof Löding (Aachen) The Non-Deterministic Mostowski Hierarchy and Distance-Parity Automata. 17:00 Christopher Broadbent (Oxford) Higher Order ... › ~games08 › programme
sortiert nach Relevanz / Datum