Sciweavers

30 search results - page 1 / 6

» fsttcs 2005

21

FSTTCS
2005
Springer

85views Software Engineering» more FSTTCS 2005»

Proving Lower Bounds Via Pseudo-random Generators

14 years 4 months ago

Proving Lower Bounds Via Pseudo-random Generators

Download www.cse.iitk.ac.in

Manindra Agrawal

claim paper

Read More »

24

FSTTCS
2005
Springer

105views Software Engineering» more FSTTCS 2005»

On Counting the Number of Consistent Genotype Assignments for Pedigrees

14 years 4 months ago

On Counting the Number of Consistent Genotype Assignments for Pedigrees

Download www.brics.dk

Jirí Srba

claim paper

Read More »

23

FSTTCS
2005
Springer

101views Software Engineering» more FSTTCS 2005»

From Logic to Games

14 years 4 months ago

From Logic to Games

Download www.labri.fr

Igor Walukiewicz

claim paper

Read More »

22

FSTTCS
2005
Springer

109views Software Engineering» more FSTTCS 2005»

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

14 years 4 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 »

28

FSTTCS
2005
Springer

102views Software Engineering» more FSTTCS 2005»

The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable

14 years 4 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 »