Sciweavers

11

CORR
2010
Springer

42views Education» more CORR 2010»

Local Strategy Improvement for Parity Game Solving

13 years 4 months ago

Local Strategy Improvement for Parity Game Solving

Download www2.tcs.ifi.lmu.de

Oliver Friedmann, Martin Lange

claim paper

Read More »

11

CORR
2010
Springer

42views Education» more CORR 2010»

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

13 years 4 months ago

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Download perseo.dif.um.es

Davide Bresolin, Pietro Sala, Guido Sciavicco

claim paper

Read More »

11

CORR
2010
Springer

64views Education» more CORR 2010»

Using Strategy Improvement to Stay Alive

13 years 4 months ago

Using Strategy Improvement to Stay Alive

Download www.fi.muni.cz

Lubos Brim, Jakub Chaloupka

claim paper

Read More »

14

CORR
2010
Springer

62views Education» more CORR 2010»

How do we remember the past in randomised strategies?

13 years 4 months ago

How do we remember the past in randomised strategies?

Download www.liafa.jussieu.fr

Julien Cristau, Claire David, Florian Horn

claim paper

Read More »

11

CORR
2010
Springer

37views Education» more CORR 2010»

The Cardinality of an Oracle in Blum-Shub-Smale Computation

13 years 4 months ago

The Cardinality of an Oracle in Blum-Shub-Smale Computation

Download qcpages.qc.cuny.edu

Wesley Calvert, Ken Kramer, Russell Miller

claim paper

Read More »

10

CORR
2010
Springer

79views Education» more CORR 2010»

Safe Recursion on Notation into a Light Logic by Levels

13 years 4 months ago

Safe Recursion on Notation into a Light Logic by Levels

Download www.di.unito.it

Luca Roversi, Luca Vercelli

claim paper

Read More »

10

CORR
2010
Springer

47views Education» more CORR 2010»

Investigating modularity in the analysis of process algebra models of biochemical systems

13 years 4 months ago

Investigating modularity in the analysis of process algebra models of biochemical systems

Download homepages.inf.ed.ac.uk

Federica Ciocchetta, Maria Luisa Guerriero, Jane H...

claim paper

Read More »