Sciweavers

30 search results - page 1 / 6

» fsttcs 2005

6

FSTTCS
2005
Springer

85views Software Engineering» more FSTTCS 2005»

Proving Lower Bounds Via Pseudo-random Generators

13 years 10 months ago

Proving Lower Bounds Via Pseudo-random Generators

Download www.cse.iitk.ac.in

Manindra Agrawal

claim paper

Read More »

6

FSTTCS
2005
Springer

105views Software Engineering» more FSTTCS 2005»

On Counting the Number of Consistent Genotype Assignments for Pedigrees

13 years 10 months ago

On Counting the Number of Consistent Genotype Assignments for Pedigrees

Download www.brics.dk

Jirí Srba

claim paper

Read More »

6

FSTTCS
2005
Springer

101views Software Engineering» more FSTTCS 2005»

From Logic to Games

13 years 10 months ago

From Logic to Games

Download www.labri.fr

Igor Walukiewicz

claim paper

Read More »

7

FSTTCS
2005
Springer

109views Software Engineering» more FSTTCS 2005»

Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains

13 years 10 months ago

Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains

Download www.fi.muni.cz

Tomás Brázdil, Antonín Kucera

claim paper

Read More »

10

FSTTCS
2005
Springer

102views Software Engineering» more FSTTCS 2005»

The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable

13 years 10 months ago

The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable

Download www.cse.unsw.edu.au

Joost Engelfriet, Sebastian Maneth

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »