Sciweavers

11065 search results - page 99 / 2213
» Education
Sort
View
CORR
2010
Springer
42views Education» more  CORR 2010»
15 years 4 months ago
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Davide Bresolin, Pietro Sala, Guido Sciavicco
70
Voted
CORR
2010
Springer
42views Education» more  CORR 2010»
15 years 4 months ago
Local Strategy Improvement for Parity Game Solving
Oliver Friedmann, Martin Lange
CORR
2010
Springer
59views Education» more  CORR 2010»
15 years 4 months ago
Playing Muller Games in a Hurry
John Fearnley, Martin Zimmermann 0002
48
Voted
CORR
2010
Springer
80views Education» more  CORR 2010»
15 years 4 months ago
Equilibrium and Termination
Vincent Danos, Nicolas Oury