Towards and within the GAMES european network project (1993-2011)

[Logic, Automata and Games, Descriptive complexity, Mu-calculus, Home]
[Back]

Logic, Automata and Games (2001-2012):


[Back]

Descriptive complexity (1999-2007):


[Back]

Fixpoint logic, automata and monadic second order logic (1993-1997)



Last modified: Fri Jan 2 09:49:19 CET 2015