|
Auteur |
Titre |
Premier lecteur |
Note |
Deuxième lecteur |
Note |
|
|
|
|
|
|
|
|
M.Lange |
Model checking PDL with all extras |
Jaubert |
15 |
|
|
|
E. A. Emerson |
Temporal and modal Logic |
Malinowski |
15 |
|
|
|
Pauly et Parikh |
Game logic, an introduction |
Sadoun |
13 |
Martin |
10 |
|
Berwanger |
Game logic is strong enough for parity games |
Pesci |
11 |
Rebatel |
11 |
|
Klauck |
Algorithmes pour les jeux de parités |
Vincent |
12 |
|
|
|
Jurdcinski et al. |
D'autres algorithmes pour les jeux de parités |
El Khediri |
12 |
Tamzalit |
10 |
|
Ghilardi et al. |
Algebraic and model theoretic techniques in modal logics |
Masmoudi |
10 |
Manai |
10 |