Sciweavers

Share
CORR
2010
Springer
42views Education» more  CORR 2010»
9 years 6 months ago
Local Strategy Improvement for Parity Game Solving
Oliver Friedmann, Martin Lange
CORR
2010
Springer
42views Education» more  CORR 2010»
9 years 6 months ago
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Davide Bresolin, Pietro Sala, Guido Sciavicco
CORR
2010
Springer
64views Education» more  CORR 2010»
9 years 6 months ago
Using Strategy Improvement to Stay Alive
Lubos Brim, Jakub Chaloupka
CORR
2010
Springer
62views Education» more  CORR 2010»
9 years 6 months ago
How do we remember the past in randomised strategies?
Julien Cristau, Claire David, Florian Horn
CORR
2010
Springer
37views Education» more  CORR 2010»
9 years 6 months ago
The Cardinality of an Oracle in Blum-Shub-Smale Computation
Wesley Calvert, Ken Kramer, Russell Miller
CORR
2010
Springer
79views Education» more  CORR 2010»
9 years 6 months ago
Safe Recursion on Notation into a Light Logic by Levels
Luca Roversi, Luca Vercelli
CORR
2010
Springer
47views Education» more  CORR 2010»
9 years 6 months ago
Investigating modularity in the analysis of process algebra models of biochemical systems
Federica Ciocchetta, Maria Luisa Guerriero, Jane H...
books